Juan Linietsky 1bf684cea2 -Cleaned up find/replace bar for replace (made selection only default if selection exists), also made buttons look like buttons ...

-Fixed a bug related to theme propagation, may be able to solve #6443, #6302 and others. Please test.

2016-09-11 10:05:46 -03:00

6.9 KiB

Raw Blame History

View Raw