mritter Posted August 20, 2006 Posted August 20, 2006 It has been brought up in the past about making the tool tips theme specific, not global. Well, I just did that. To not "break" anything, Style[0] is removed from useroptions.js and a new file, Themes/-theme-/wpi_style.js, is created with just that variable. This file is then loaded seperately.This will be released in 5.4. The first time you run it, go to Options wizard, it will say the new file is not found, and it will save it and remove the entry from useroptions.js. Everytime you switch themes it will do it. So it will update itself.
Dynaletik Posted August 21, 2006 Posted August 21, 2006 Thank you mritter! This is very good, I think.
Recommended Posts
Please sign in to comment
You will be able to leave a comment after signing in
Sign In Now