James D. Forrester 0fadc2bc77 Let users set __NOTOC__ & __FORCETOC__ status ... This creates a new panel in the meta dialog, "Page settings", where page- level settings will be, err, set. For now, this exposes just the behavioural switches for the presence/absence of the Table Of Contents – __NOTOC__ and __FORCETOC__. As part of this change, the meta dialog is renamed to "Options" to be less confusing, and the icon for the meta dialog is changed to the generic one for dialogs, which was previously unused. The page settings pane is provided first in this list, given that the categories pane (amongst others) is now directly accessible through the toolbar menu. Bug: 56866 Bug: 56867 Change-Id: I33ce05c19d2e19b249e1cefd26fd0e3697d0085d		2014-01-05 18:56:53 +08:00
..
ve.ui.MWAlienExtensionInspectorTool.js	Detangle triggers from OOUI	2013-10-29 05:50:30 +00:00
ve.ui.MWDialogTool.js	Let users set __NOTOC__ & __FORCETOC__ status	2014-01-05 18:56:53 +08:00
ve.ui.MWEditModeTool.js	Button tool to switch to edit source with changes	2013-10-31 10:46:51 -07:00
ve.ui.MWFormatTool.js	Make commands aware of their symbolic names	2013-12-11 15:34:20 -08:00
ve.ui.MWHieroInspectorTool.js	Detangle triggers from OOUI	2013-10-29 05:50:30 +00:00
ve.ui.MWInspectorTool.js	Set up node-jscs, pass it, and configure in local Gruntfile	2013-12-06 10:37:27 -08:00
ve.ui.MWMathInspectorTool.js	Detangle triggers from OOUI	2013-10-29 05:50:30 +00:00
ve.ui.MWPopupTool.js	Window refactor	2013-11-08 12:33:25 -08:00