David Baker b71f96e4e5 Use the role for 'toggle dev tools'
Let electron handle it rather than doing it ourselves
2017-01-11 10:28:04 +00:00
..
2016-12-09 22:33:20 +00:00
2016-12-08 11:40:33 +00:00
2016-12-12 17:24:22 +00:00
2017-01-11 10:28:04 +00:00