Lost password? | Help

[ advanced search ]

Debugging User Stylesheets

Forums » Opera Community » Opera for desktop » Opera browser

Tuesday, 24. October 2006, 16:46:34

scipio

Undutchable

avatar

Posts: 29747

Netherlands

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

Gary Sugar

avatar

Posts: 1386

You might have to set History - Check documents = Always. I don't know - mine is set that way.

Anyway, after each edit, r-click for Edit site preferences, click OK, then Reload.

Tuesday, 24. October 2006, 17:43:30

scipio

Undutchable

avatar

Posts: 29747

Netherlands

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. :wink:

Tuesday, 24. October 2006, 18:30:41

Stoen

avatar

Posts: 1109

I think "Reload stylesheets" is what you want. Best used in conjunction with "Refresh display"

Add as button/menu/keyboard shortcut/whatever you want

Tuesday, 24. October 2006, 21:12:48 (edited)

scipio

Undutchable

avatar

Posts: 29747

Netherlands

Originally posted by Stoen:

I think "Reload stylesheets" is what you want.


:eyes: I had no idea that command existed. It sounds like what I need!

edit: I created this button and it works perfectly. Thanks Stoen!

button

Tuesday, 24. October 2006, 22:57:00

Rijk

I was here

avatar

Posts: 3557

Netherlands

Opera Software
A certain moose pushed for this action to get implemented :smile: . It is really a convenience action for userstyle authors, but it is rather hard to discover it. I recently added a shortcut 'Shift+R', to work together with 'R' which does 'Reload from cache' in my setup.

Wednesday, 25. October 2006, 19:36:36

scipio

Undutchable

avatar

Posts: 29747

Netherlands

Originally posted by Rijk:

A certain moose pushed for this action to get implemented


:up: M :up:

Forums » Opera Community » Opera for desktop » Opera browser