search

sdias / win-10-virtual-desktop-enhancer

An application that enhances the Windows 10 multiple desktops feature by adding additional keyboard shortcuts and support for multiple wallpapers.
MIT License
1.77k stars 269 forks source link

applying new settings without relaunching #118

Closed gobbedy closed 6 years ago

gobbedy commented 6 years ago

Fantastic app -- very grateful for it.

I find myself making frequent name changes to my desktops and giving up on the enhancer because applying new settings is too much of a hassle.

Is there a way to apply new settings after modifying settings.ini without having to close the app via task manager and then relaunch it?

If not, a shortcut for applying settings (or worst case, restarting the app) would be very helpful.

GioBonvi commented 6 years ago

Hello @gobbedy, you can reload the app by right-clicking the icon in the task bar and clicking "reload"

gobbedy commented 6 years ago

Aaah thanks @GioBonvi you've thought of everything. This tool is so awesome.

The icon/reload feature should be mentioned in the wiki!