Thiemo Kreuz 4782987a7f Rename confusing "isSet" to "active page indicator" ... We would love to name this state "selected", but that term is already used for a template parameter that is checked/used. The idea of "set" was to have a list of parameters where one is "set". But the word is confusing. I suggest "active page" because the entire purpose of the blue selection is to highlight the currently active page (i.e. the one you currently interact with on the right side of the dialog) in the sidebar. Change-Id: I5a16ab4c193ea05c21bb3bf89ada2ef550d8d6bc		2022-07-20 09:38:41 +00:00
..
images	Revert "Compress PNGs with zopflipng"	2016-02-28 00:07:50 +00:00
ve.ui.MWAceEditorWidget.css	doc: Bump copyright year for 2020	2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryInputWidget.css	doc: Bump copyright year for 2020	2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryItemWidget.css	doc: Bump copyright year for 2020	2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryPopupWidget.css	doc: Bump copyright year for 2020	2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryWidget.css	doc: Bump copyright year for 2020	2020-01-08 09:13:24 -08:00
ve.ui.MWEducationPopupWidget.css	Rewrite EducationPopup so it isn't a mixin	2020-09-24 21:33:50 +01:00
ve.ui.MWMediaInfoFieldWidget.css	Remove unused CSS vendor prefixes	2022-05-04 16:55:43 +01:00
ve.ui.MWTocWidget.css	Keep TOC in correct place in document	2017-06-22 15:16:15 -07:00
ve.ui.MWTransclusionOutlineControlsWidget.less	Simplify OutlineControls CSS a little more	2022-06-28 10:50:33 +02:00
ve.ui.MWTransclusionOutlineWidget.less	Rename confusing "isSet" to "active page indicator"	2022-07-20 09:38:41 +00:00