move watermark shortcuts closer to letterpress (#170403)

* move watermark shortcuts closer to letterpress

fixes #59952

* fix layout in firefox
This commit is contained in:
João Moreno
2023-01-02 17:23:45 +01:00
committed by GitHub
parent f01a44b447
commit dfcf5c1528
7 changed files with 278 additions and 329 deletions
@@ -469,6 +469,11 @@ const registry = Registry.as<IConfigurationRegistry>(ConfigurationExtensions.Con
'default': 'both',
'description': localize('layoutControlType', "Controls whether the layout control in the custom title bar is displayed as a single menu button or with multiple UI toggles."),
},
'workbench.tips.enabled': {
'type': 'boolean',
'default': true,
'description': localize('tips.enabled', "When enabled, will show the watermark tips when no editor is open.")
},
}
});