-
-
Notifications
You must be signed in to change notification settings - Fork 3.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Enable themed scrollbars by default? #15608
Comments
For reference the screenshots above were taken on Ubuntu 23.10 with Chromium 120. |
So there are two things to consider:
|
Is it possible to have extension that enable themed scrollbars? I have {
"jupyter.lab.shortcuts": [],
"title": "pieceofcode",
"description": "pieceofcode settings.",
"type": "object",
"properties": {
"alwaysOpenPieceOfCode": {
"type": "boolean",
"title": "alwaysOpenPieceOfCode",
"description": "Always Open Piece of Code",
"default": true
},
"theme-scrollbars": {
"type": "boolean",
"title": "Scrollbar Theming",
"description": "Enable/disable styling of the application scrollbars",
"default": true
}
},
"additionalProperties": false,
"jupyter.lab.toolbars": {
"Cell": [
{
"name": "open-piece-of-code",
"command": "@mljar/pieceofcode:open"
},
{
"name": "hide-piece-of-code",
"command": "@mljar/pieceofcode:hide"
}
]
}
} |
@pplonski in previous versions you can require |
Thank you @krassowski! You respond with speed of 🚀 I will try with |
It is working as expected 👍 Here is my code: import {
IThemeManager,
ThemeManager
} from '@jupyterlab/apputils';
const plugin: JupyterFrontEndPlugin<void> = {
id: 'pieceofcode:plugin',
description: 'Write code with UI.',
autoStart: true,
optional: [ISettingRegistry, IThemeManager],
activate: async (
app: JupyterFrontEnd,
settingRegistry: ISettingRegistry | null,
themeManager: IThemeManager
) => {
console.log('Piece of Code extension is activated!');
const tm = themeManager as ThemeManager;
if(tm) {
if(!tm.isToggledThemeScrollbars())
tm.toggleThemeScrollbars();
}
// rest of code Thank you @krassowski, you are Jupyter legend 🥇 |
Problem
By default scrollbars are not themed (the setting is turned off).
This makes them somehow stand out when using dark themes, for example:
When enabled, one can argue they look nicer:
Proposed Solution
Enable "Theme Scrollbars" by default.
The setting is currently defined here:
jupyterlab/packages/apputils-extension/schema/themes.json
Lines 133 to 138 in eff7d42
The idea would be to make it
true
by default.Additional context
While this looks like a simple change to make, there might be some implications (accessibility?) for having the setting enabled by default?
The text was updated successfully, but these errors were encountered: