support window.zoomLevel setting #8751
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
preferences
issues related to preferences
Comments
akosyakov
added
enhancement
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 17, 2021
Fixes eclipse-theia#8751 What it does - allows user to specify window zoom level as a preference How to test Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 17, 2021
Fixes eclipse-theia#8751 What it does - allows user to specify window zoom level as a preference How to test Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 18, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 18, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 18, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 18, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
1 task
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 18, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 18, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 19, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 19, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is preserved Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 22, 2021
Fixes eclipse-theia#8751 What it does - Adds support to specify window zoom level as a preference How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using ctrl + / - / 0 3. Observe that the zoom level preference is updated 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 23, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 23, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 23, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 24, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 24, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 24, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 24, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 24, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 24, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
1 task
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Mar 2, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Mar 2, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Mar 2, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Mar 2, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
westbury
pushed a commit
that referenced
this issue
Mar 4, 2021
Fixes #8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
DucNgn
pushed a commit
to DucNgn/theia
that referenced
this issue
Mar 9, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
DucNgn
pushed a commit
to DucNgn/theia
that referenced
this issue
Mar 10, 2021
Fixes eclipse-theia#8751 What it does - Allows end-user to specify window zoom level as a preference - Adds support for the addition of other window preferences How to test 1. Open `Preferences` view and locate the `window.zoomLevel` preference 2. Enter in a custom value or change the zoom level using zoom commands (`ctrl +, ctrl -, ctrl 0`) 3. Observe that the window zoom level changes and the preference is updated in the `settings.json` file 4. Reload the window and observe that the preferred zoom level is restored Signed-off-by: seantan22 <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
See https://code.visualstudio.com/docs/editor/accessibility#_persisted-zoom-level
Some users want to have it persisted. Instead of adjusting for each page.
The text was updated successfully, but these errors were encountered: