From: Jon M. <jo...@te...> - 2006-03-24 14:59:08
|
Matthew Buckett wrote: >The colours in the resource properties page will only be used if >"Generate Style Sheet" is set to something other than empty or false. >Although changing this option doesn't seem to force the stylesheet stuff >to get rebuilt so you probably won't see the changes without getting rid >of your session. > > There are serious bugs in some of the web browsers. (Guess which well known software house is worst?) In some cases it is absolutely impossible to get the browser to go back to the server and reload a *.css URL. In the case of the user filtered style sheets this is absolutely intolerable and I put in a solution - the name of the stylesheet actually changes when the users changes options. This guarantees that the browser loads the new stylesheet on the very next page request so the user can decide to keep or change their options. However, I didn't put this same extra effort into the author style sheet options because it means changing the stylesheet name for all currently logged in users. Jon |