Some "User" settings not applied to new editors

[per1234]

Bug Description:

When a non-default value is set for certain "User" settings, the default value is still used for all new editors/windows.

Other settings are applied correctly.

I have not done a comprehensive survey of all settings, but these are the settings I have discovered so far:

• editor.find.addExtraSpaceOnTop
• editor.hover.delay
• editor.scrollbar.scrollByPage

Examples of functional settings:

• editor.autoClosingBrackets
• editor.renderWhitespace

Steps to Reproduce:

1. Run the browser example.
2. Select File > New File from the menus.
3. Hold the Enter key until there is a significant amount of scrolling space in the file.
4. Open the Command Palette.
5. Execute the "Preferences: Open Settings (JSON)" command.
6. Set the editor.scrollbar.scrollByPage setting to true:

   {
       "editor.scrollbar.scrollByPage": true
   }

7. Select the previously created editor.
8. Click near the top of the scrollbar trough.
   🙂 The editor view is scrolled up by a single page, according to the custom setting.
9. Select File > New File from the menus.
10. Hold the Enter key until there is a significant amount of scrolling space in the file.
11. Click near the top of the scrollbar trough.
    🐛 The scrollbar thumb jumps all the way to the mouse pointer position, contrary to the custom setting.

Additional Information

• Operating System: Windows 10, Ubuntu 20.04
• Theia Version: 22a5f7e