Discussion:
F12 menu annoyances. Stop this, please.
(too old to reply)
Solbu
2011-04-28 15:35:12 UTC
Permalink
I am one of the users who use Opera because of two or three uniq features
that I cannot find in a Free Software browser, like Mozilla.
(Don't confuse Free Software with Freeware.)

One of the features that is the only reason I still use Opera,
despite it's not a Free Software browser, is the F12 menu.
I use that hotkey menu many times a day. I am one of those that have
all "modern" features turned off for security and privacy reasons.
Javascript, Java, Plugins, cookies, Referer and audio are all disabled.
So whenever I use a site that require any of these features, like my bank,
I press "F12 U, F12 B, F12 F" (in Opera 10.x)
and javascript, Java and Cookies are enabled.


When I upgraded from Opera v9.x til v10.x the hotkeys for the F12 menu
items changed, resulting in me having to learn it all over again.
During the Easter last week I upgraded again, to v11.x,
and the hotkeys changed yet again.

What on earth prompts for these changes?
Can anyone at Opera explain why the hotkeys
in the F12 menu keep changing each time Opera release a major version?

Unlike the rest of the browsers hotkeys,
these cannot be changed by the user.

- --
Solbu - http://www.solbu.net
remove '.ugyldig' for email
PGP key ID: 0xFA687324
Eirik Byrkjeflot Anonsen
2011-04-29 11:28:00 UTC
Permalink
Post by Solbu
I am one of the users who use Opera because of two or three uniq features
that I cannot find in a Free Software browser, like Mozilla.
(Don't confuse Free Software with Freeware.)
One of the features that is the only reason I still use Opera,
despite it's not a Free Software browser, is the F12 menu.
I use that hotkey menu many times a day. I am one of those that have
all "modern" features turned off for security and privacy reasons.
Javascript, Java, Plugins, cookies, Referer and audio are all disabled.
So whenever I use a site that require any of these features, like my bank,
I press "F12 U, F12 B, F12 F" (in Opera 10.x)
and javascript, Java and Cookies are enabled.
When I upgraded from Opera v9.x til v10.x the hotkeys for the F12 menu
items changed, resulting in me having to learn it all over again.
During the Easter last week I upgraded again, to v11.x,
and the hotkeys changed yet again.
What on earth prompts for these changes?
Can anyone at Opera explain why the hotkeys
in the F12 menu keep changing each time Opera release a major version?
I suspect these hotkeys are automatically generated based on the text of
the entries. So if the text changes or the order of the items changes,
the hotkeys may change as well.
Post by Solbu
Unlike the rest of the browsers hotkeys,
these cannot be changed by the user.
Hmm, that does sound like something it would make sense to support.
Maybe file a bug report?

eirik
Jens Schuessler
2011-04-29 22:48:08 UTC
Permalink
Post by Eirik Byrkjeflot Anonsen
Post by Solbu
When I upgraded from Opera v9.x til v10.x the hotkeys for the F12 menu
items changed, resulting in me having to learn it all over again.
During the Easter last week I upgraded again, to v11.x,
and the hotkeys changed yet again.
What on earth prompts for these changes?
Can anyone at Opera explain why the hotkeys
in the F12 menu keep changing each time Opera release a major version?
I suspect these hotkeys are automatically generated based on the text of
the entries. So if the text changes or the order of the items changes,
the hotkeys may change as well.
Right, but you can force which hotkey by editing the *.lng file and
putting an ampersand right before the character you want to use as key.

HTH
Jens
Solbu
2011-04-30 03:01:50 UTC
Permalink
Post by Jens Schuessler
you can force which hotkey by editing the *.lng file and
putting an ampersand right before the character you want to use as key.
Ahh. That would solve it for me. :-)=
Thank you.

- --
Solbu - http://www.solbu.net
remove '.ugyldig' for email
PGP key ID: 0xFA687324

Loading...