Tom Tromey 79dd91860a Bug 1371849 - remove style editor's source-map pref; r=gl ... This changes the style editor and inspector to use the same pref that the other tools are using. This pref is a bit of a misnomer for now, because the inspector and style editor aren't actually using the client-side service; but I think the name is not very important, and unifying the prefs is worthwhile. MozReview-Commit-ID: FlwCICnoaX4 --HG-- extra : rebase_source : 0b86c66b35a8e109a8657d74bfaa400d37efc738		2017-06-12 12:25:22 -06:00
..
test	Bug 1371849 - remove style editor's source-map pref; r=gl	2017-06-12 12:25:22 -06:00
moz.build	Bug 1330325 - add BUG_COMPONENT to devtools/* files. r=jryans	2017-01-13 08:40:35 -05:00
styleeditor-commands.js	Backed out changeset 6bc38f188ef2 (bug 1330099) for devtools failures. r=backout	2017-01-11 23:21:56 +01:00
styleeditor-panel.js	Bug 1388497 - apply source maps to CSS warnings in the console; r=bgrins	2017-08-15 14:32:56 -06:00
styleeditor.xul	Bug 1379099 - Replace the Style Editor spinner with a top down animation r=miker	2017-08-26 14:56:57 +02:00
StyleEditorUI.jsm	Bug 1371849 - remove style editor's source-map pref; r=gl	2017-06-12 12:25:22 -06:00
StyleEditorUtil.jsm	Bug 1375125 - Stop using nsILocalFile in the tree. r=froydnj	2017-08-04 17:49:22 +09:00
StyleSheetEditor.jsm	Bug 1346662 - do not revert original text after saving; r=gl	2017-09-13 12:33:32 -06:00