mediawiki-extensions-WikiEd.../modules
thiemowmde 1a61bea0d0 Sensible limits for resizeable booklet panels
This is relevant for the two colapsible panels with the list of
characters, as well as the help panel. Both have an index on the
right that can be resized. As of now it can be collapsed so much
that it disappears entirely, and enlarged so much that it is larger
than 100%. Both situations look broken and confusing. I think these
are sensible limits.

Also remove the horizontal scrollbar. It appears only when the index
is very narrow, but is especially in the way and not useful in this
situation. Just enlarge the index when you need to see the full
words.

Change-Id: I92d11ddbe4976cf218b30689604ed91b0f288eae
2024-10-16 14:58:39 +02:00
..
images/toolbar Realtime Preview: remove Beta Feature and onboarding popup 2023-03-17 15:22:32 +08:00
insertlink JSDoc: convert @cfg to @param 2024-05-28 10:21:21 +02:00
realtimepreview ManualWidget: Added design token for dark mode compatibility 2024-09-20 20:23:09 +00:00
templates Move reference-specific settings to the Cite extension 2023-06-22 14:07:29 +02:00
.eslintrc.json build: Updating npm dependencies 2024-06-19 04:27:34 +00:00
ext.wikiEditor.js build: Updating npm dependencies 2024-06-19 04:27:34 +00:00
ext.wikiEditor.toolbar.styles.less stylelint: Enable selector-pseudo-element-colon-notation 2023-03-30 01:14:34 +02:00
jquery.wikiEditor.dialogs.config.js Revert "Keyboard shortcuts for formatting tools in WikiEditor 2010" 2024-10-09 13:29:41 +00:00
jquery.wikiEditor.dialogs.config.less Move reference-specific settings to the Cite extension 2023-06-22 14:07:29 +02:00
jquery.wikiEditor.dialogs.js build: Updating npm dependencies 2024-06-19 04:27:34 +00:00
jquery.wikiEditor.dialogs.less Styles: Replaces deprecated mixins prefixes with unprefixed CSS property 2023-01-29 10:33:01 +01:00
jquery.wikiEditor.js JSDoc: Update jsdoc-wmf-theme to 1.0.1 2024-06-10 16:38:16 +01:00
jquery.wikiEditor.less Partially replace hardcoded colors with Codex tokens 2024-06-26 21:58:27 +02:00
jquery.wikiEditor.toolbar-apex.less Styles: Replaces deprecated mixins prefixes with unprefixed CSS property 2023-01-29 10:33:01 +01:00
jquery.wikiEditor.toolbar-wikimedia.less Partially replace hardcoded colors with Codex tokens 2024-06-26 21:58:27 +02:00
jquery.wikiEditor.toolbar.config.js Revert "Keyboard shortcuts for formatting tools in WikiEditor 2010" 2024-10-09 13:29:41 +00:00
jquery.wikiEditor.toolbar.js Revert "Keyboard shortcuts for formatting tools in WikiEditor 2010" 2024-10-09 13:29:41 +00:00
jquery.wikiEditor.toolbar.less Sensible limits for resizeable booklet panels 2024-10-16 14:58:39 +02:00