[gps-users] Default theme is not default

[Denis Obrezkov]

Hello, I was working in GPS 2016 (20160515) and decided to change the
editor's theme.
I looked at some of them, didn't like them and decided to switch back to
default theme...
and found out that the default theme is not the previous theme which was by
default.
So, is it possible to make the default theme be default? Or at least to
have a possibility
to switch back to the previous theme?



-- 
Regards, Denis Obrezkov
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/gps-users/attachments/20170510/d932b0ef/attachment.html>