CHaBou 319ff3bcd7 Fix devtools opening when menuItem clicked (#2457)		2017-11-14 21:32:43 +00:00
..
menus	Fix devtools opening when menuItem clicked (#2457)	2017-11-14 21:32:43 +00:00
menu.js	Fix Preferences menu item	2017-11-03 22:06:48 +01:00