Options are greyed out

[vavavroom]

Options are no longer available and greyed out. Opera. No changes to settings and no new extensions as far as I am aware. This has been going since yesterday. Am I the only lucky one?

 

[wwillson]

Click the red brackets to turn the editing options back on. You toggled them off.

 

[vavavroom]

Click the red brackets to turn the editing options back on. You toggled them off.

Oh wow. I never noticed those brackets. I must have toggled accidentally. Thanks.