Tuesday, 24. October 2006, 16:46:34
Debugging User Stylesheets
NOS Headlines isn't displayed correctly in Opera. Since it doesn't support -moz-border-radius, it is served a JS function (called fixBrowserIssues) that creates two dummy divs to mimick Mozilla's effect of rounded corners. Unfortunately, only IE gets the stylesheet to style these divs, and apparently the only thing Opera can do instead is push the news items out of their frames.I thought this could easily be fixed by adding a User Stylesheet containing the same CSS rules as the IE-specific stylesheet. Of course, this still leaves some small (compatibility) problems, so I have to manually edit the UserCSS.
Now here is my problem: I haven't found a setting that lets me test the changes to this User CSS file with a simple Refresh or Reload. Even after emptying the cache or disabling the cache completely, I only see the applied changes after several Reloads. It's pretty unpredictable when I'm testing: didn't my last change have any effect or is Opera still using the cached(?) version? I think only restarting Opera really helps but since I use a Master Password, that's a pain.
How can I see changes to UserCSS instantly (i.e. after refreshing/reloading)? Does anyone have any recommendations? I haven't found anything in the forums.
Tuesday, 24. October 2006, 17:39:42
Anyway, after each edit, r-click for Edit site preferences, click OK, then Reload.
Tuesday, 24. October 2006, 17:43:30
Originally posted by Gary Sugar:
Anyway, after each edit, r-click for Edit site preferences, click OK, then Reload.
My suggestion to Opera would be to make this a bit more user-friendly.
Tuesday, 24. October 2006, 21:12:48 (edited)
Originally posted by Stoen:
I think "Reload stylesheets" is what you want.
edit: I created this button and it works perfectly. Thanks Stoen!
button
Tuesday, 24. October 2006, 22:57:00
Wednesday, 25. October 2006, 19:36:36
Originally posted by Rijk:
A certain moose pushed for this action to get implemented
Forums » Opera Community » Opera for desktop » Opera browser
