search

kieler / klighd-vscode

Eclipse Public License 2.0
8 stars 6 forks source link

Store preferences #29

Closed soerendomroes closed 2 years ago

soerendomroes commented 2 years ago

Migrated resize to fit, use light background, and animate bookmark to render-options-registry. Removed initial vscode extension settings.

Added clear handler for preferences.

See https://rtsys.informatik.uni-kiel.de/jira/browse/KVC-13

NiklasRentzCAU commented 2 years ago

The light background works as intended, I was just confused for some reason. Please delete the branch if not needed anymore.