5 commits

Author	SHA1	Message	Date
wolfbeast	8c1500707f	Remove WebIDE devtools component. ... This resolves #1123	2019-07-19 10:01:13 +08:00
wolfbeast	c9b76fb369	Stop using hard-coded URL for "get more devtools"	2019-02-17 12:07:03 +08:00
janekptacijarabaci	e5c504fca6	Added support of the appmenu for DevTools menuitems (optional) ... Issue #96	2019-02-15 23:41:23 +08:00
janekptacijarabaci	63ba51f58e	DevTools - Browser Console - restore sessions ... https://github.com/MoonchildProductions/moebius/pull/112	2019-02-15 23:34:35 +08:00
Roy Tam	dcd9973243	import FIREFOX_52_6_0esr_RELEASE from mozilla-esr52 hg repo	2018-01-19 03:59:58 +08:00