Hi
It will be interesting to have differents options for each window (using
F12), example: If I have ten windows open, I would like to disable the
Java Script in one, Cookies in other, identify as other browser in other
an so on. Now, all this options are global to all the windows, hence if I
like to disable Java or Java script for one site, I will disable also for
all the other.

Regards
Joaquin.

From:	Rodrigo Rosenfeld Rosas
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 10:31:29 -0200

I like the idea.
Maybe, the best is to have two shortcuts (say F12 and F13), one for global
and other for page only.

I would prefer this.

Best regards,

Rodrigo.

From:	Ken Knox
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 07:42:30 -0500

On Fri, 21 Jan 2005 10:31:29 -0200, Rodrigo Rosenfeld Rosas
wrote:

> I like the idea.
> Maybe, the best is to have two shortcuts (say F12 and F13), one for
> global
> and other for page only.
>

Easier said than done on some machines...I only have F1 through F12 here.
:-)

--
Ken
Choose Opera!
Fast, Secure, Simply the Best Internet Experience
http://www.opera.com

From:	Rodrigo Rosenfeld Rosas
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 10:47:00 -0200

Ken Knox wrote:

> On Fri, 21 Jan 2005 10:31:29 -0200, Rodrigo Rosenfeld Rosas
> wrote:
>
>> I like the idea.
>> Maybe, the best is to have two shortcuts (say F12 and F13), one for
>> global
>> and other for page only.
>>
>
> Easier said than done on some machines...I only have F1 through F12 here.
> :-)
>
Sorry, I didn't realize it when I said! :) Don't be sad, me too... ;)

But you got it: any shortcut would be fine.

From:	Matthew Winn
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 16:01:12 +0000 (UTC)

On Fri, 21 Jan 2005 07:42:30 -0500, Ken Knox wrote:
> On Fri, 21 Jan 2005 10:31:29 -0200, Rodrigo Rosenfeld Rosas
> wrote:
>
> > I like the idea.
> > Maybe, the best is to have two shortcuts (say F12 and F13), one for
> > global and other for page only.
>
> Easier said than done on some machines...I only have F1 through F12 here.
> :-)

If you don't have keys above F12 then just hit F1 and F12 together,
or hit F6.5 twice.

Opera's starting to run into the problem Vim ran into: there are only
a limited number of keys on the keyboard. We need more keys.

--
Matthew Winn
[If replying by email remove the "r" from "urk"]

From:	Ken Knox
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 11:37:00 -0500

On Fri, 21 Jan 2005 16:01:12 +0000 (UTC), Matthew Winn
wrote:

> On Fri, 21 Jan 2005 07:42:30 -0500, Ken Knox wrote:
>> On Fri, 21 Jan 2005 10:31:29 -0200, Rodrigo Rosenfeld Rosas
>> wrote:
>>
>> > I like the idea.
>> > Maybe, the best is to have two shortcuts (say F12 and F13), one for
>> > global and other for page only.
>>
>> Easier said than done on some machines...I only have F1 through F12
>> here.
>> :-)
>
> If you don't have keys above F12 then just hit F1 and F12 together,
> or hit F6.5 twice.
>
> Opera's starting to run into the problem Vim ran into: there are only
> a limited number of keys on the keyboard. We need more keys.
>

Or perhaps an option to run two keyboards at the same time?? :-)

--
Ken
Choose Opera!
Fast, Secure, Simply the Best Internet Experience
http://www.opera.com

From:	tbt
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 09:51:08 -0700

On Fri, 21 Jan 2005 11:37:00 -0500, Ken Knox wrote:

> Or perhaps an option to run two keyboards at the same time?? :-)
>

no, you need this keyboard:

http://www.bbspot.com/News/2001/08/keyboard.html

Tbt.

--
http://www.lp.org/ <-------- Click if you hate taxes.

From:	Steven V. Gunhouse
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 21:01:39 GMT

On Fri, 21 Jan 2005 11:37:00 -0500, Ken Knox wrote:

> On Fri, 21 Jan 2005 16:01:12 +0000 (UTC), Matthew Winn
> wrote:
>
>> On Fri, 21 Jan 2005 07:42:30 -0500, Ken Knox wrote:
>>> On Fri, 21 Jan 2005 10:31:29 -0200, Rodrigo Rosenfeld Rosas
>>> wrote:
>>>
>>> > I like the idea.
>>> > Maybe, the best is to have two shortcuts (say F12 and F13), one for
>>> > global and other for page only.
>>>
>>> Easier said than done on some machines...I only have F1 through F12
>>> here.
>>> :-)
>>
>> If you don't have keys above F12 then just hit F1 and F12 together,
>> or hit F6.5 twice.
>>
>> Opera's starting to run into the problem Vim ran into: there are only
>> a limited number of keys on the keyboard. We need more keys.
>>
>
> Or perhaps an option to run two keyboards at the same time?? :-)
>

Honestly, Opera supports an unlimited number of keys - after a fashion.
You can define key sequences in Opera. Currently only used in M2 for
assigning labels to messages; in that case, you can press L followed by a
digit. So L then 0 is no label, L then 1 is "Important", etc. But as the
ability is there, you could use it anywhere.

So, you could assign some key(s) as "mode keys", after pressing those keys
then everything on the keyboard will have different meanings.

How many virtual keys do you need?

--
Using Opera's revolutionary e-mail client: http://www.opera.com/m2/

From:	Steven V. Gunhouse
Subject:	Re: Quick options (F12) for each window
Date:	Wed, 19 Jan 2005 19:44:55 GMT

On Wed, 19 Jan 2005 14:59:06 +0100, Joaquin Fernandez
wrote:

> Hi
> It will be interesting to have differents options for each window (using
> F12), example: If I have ten windows open, I would like to disable the
> Java Script in one, Cookies in other, identify as other browser in other
> an so on. Now, all this options are global to all the windows, hence if
> I like to disable Java or Java script for one site, I will disable also
> for all the other.
>
> Regards
> Joaquin.

Sounds like a different version of a common wish - server-specific
settings for browser ID, javascript, plugins, etc. Probably what you
really meant anyway. Then it doesn't matter what window you open the site
in, as soon as you click on a particular site then it automatically
changes all settings to the ones listed for that site. If your bank
requires you to identify as IE, while Gmail requires you to identify as
Opera, and another site requires you to enable popups, you don't have to
remember to change them all the time.

--
Using Opera's revolutionary e-mail client: http://www.opera.com/m2/

From:	Joaquin Fernandez
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 10:56:03 +0100

On Wed, 19 Jan 2005 19:44:55 GMT, Steven V. Gunhouse
wrote:

I agree with Mathiew point of view, that's what I wish.

Joaquin.

From:	Steven V. Gunhouse
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 18:21:20 GMT

On Thu, 20 Jan 2005 10:56:03 +0100, Joaquin Fernandez
wrote:

> On Wed, 19 Jan 2005 19:44:55 GMT, Steven V. Gunhouse
> wrote:
>
> I agree with Mathiew point of view, that's what I wish.
>
> Joaquin.

Something I try to do here (in this specific forum) is to try to get
people to clarify what they want. So I suppose we've done that.

Opera already has a mechanism for storing site-specific cookie handling
preferences, it shouldn't be too hard to supplement or extend that to
other settings - at least in terms of storage. How they'd actually enforce
your settings, I'll have to leave to the professionals.

--
Using Opera's revolutionary e-mail client: http://www.opera.com/m2/

From:	PT
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 21:26:14 +0100

On Thu, 20 Jan 2005 18:21:20 GMT, Steven V. Gunhouse
wrote:
>
> Opera already has a mechanism for storing site-specific cookie handling
> preferences, it shouldn't be too hard to supplement or extend that to
> other settings - at least in terms of storage.

The idea of site-specific settings could even be brought further than the
current cookie mechanism. How about page-specific (url-specific)
preferences with the following levels (in the order of priority):

url-specific settings
server-specfic settings
domain-specific settings
global settings

For example, I could have Flash turned off on a certain page of a site,
but turned on other pages of the same site, etc. I don't know if it were
actually useful, maybe simple site-specific would be enough. Just a sudden
idea...

--
Using Opera's revolutionary e-mail client: http://www.opera.com/m2/

From:	Brian D Clary
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 15:57:19 -0500

On Thu, 20 Jan 2005 21:26:14 +0100, PT wrote:

> On Thu, 20 Jan 2005 18:21:20 GMT, Steven V. Gunhouse
> wrote:
>>
>> Opera already has a mechanism for storing site-specific cookie handling
>> preferences, it shouldn't be too hard to supplement or extend that to
>> other settings - at least in terms of storage.
>
> The idea of site-specific settings could even be brought further than
> the current cookie mechanism. How about page-specific (url-specific)
> preferences with the following levels (in the order of priority):
>
> url-specific settings
> server-specfic settings
> domain-specific settings
> global settings
>
> For example, I could have Flash turned off on a certain page of a site,
> but turned on other pages of the same site, etc. I don't know if it were
> actually useful, maybe simple site-specific would be enough. Just a
> sudden idea...

I was thinking something similar, though upside-down: more of a tree-type
structure. At the very top is global settings, which then branch to
domain-specific (such as yahoo.com), which can then branch to
server-specific settings (such as mail.yahoo.com), and then possibly* URL
specific settings.

* I say possibly because I think that global-, domain-, and
server-specific settings should handle a vast majority of cases, and
supporting URL-specific settings (which would add to what is already in
the cookie and wand manager) may not be worth the trouble.

--
Brian
Opera 8.00 build 7401 on Windows XP Pro
To email, replace domain with operamail(.com)

From:	Matthew Winn
Subject:	Re: Quick options (F12) for each window
Date:	Fri, 21 Jan 2005 09:08:44 +0000 (UTC)

On Thu, 20 Jan 2005 15:57:19 -0500, Brian D Clary wrote:
> On Thu, 20 Jan 2005 21:26:14 +0100, PT wrote:
> > The idea of site-specific settings could even be brought further than
> > the current cookie mechanism. How about page-specific (url-specific)
> > preferences with the following levels (in the order of priority):
> >
> > url-specific settings
> > server-specfic settings
> > domain-specific settings
> > global settings
> >
> > For example, I could have Flash turned off on a certain page of a site,
> > but turned on other pages of the same site, etc. I don't know if it were
> > actually useful, maybe simple site-specific would be enough. Just a
> > sudden idea...
>
> I was thinking something similar, though upside-down: more of a tree-type
> structure. At the very top is global settings, which then branch to
> domain-specific (such as yahoo.com), which can then branch to
> server-specific settings (such as mail.yahoo.com), and then possibly* URL
> specific settings.

The difficulty with having multiple levels of options is designing a
UI for them that is powerful enough to handle all requirements yet
simple enough not to scare the living crap out of the user. That's
why I think adding preferences to bookmarks would be a good solution
to the problem of site-specific settings, at least for the immediate
future: the only changes that must be made to the UI are an easy-to-
understand extra section in the bookmark maintenance dialog and a
"save current preferences" checkbox when creating a new bookmark.

This wouldn't solve every conceivable problem but it would come close.
In real life most people work through bookmarks: if you visit a site
often enough to want to have preferred settings for it you'll almost
certainly have it bookmarked. With most sites the same preferences
suit all pages: it's rare to find a site where JavaScript is required
on one page but must be disabled on another. In my experience it's
usually a matter of "This bookmark takes me to a slow site so I'll
want Java off and cached images only by default, while that bookmark
is a fast and multimedia-rich site that I like so I'll want images,
plugins and Java enabled".

Would bookmark-related preferences solve most problems? Can anyone
come up with real-life situations where they regularly follow a link
from one site to another and need preferences to change automatically
without going through bookmarks?

--
Matthew Winn
[If replying by email remove the "r" from "urk"]

From:	S.V. Groeneveld
Subject:	Re: Quick options (F12) for each window
Date:	Sat, 22 Jan 2005 03:47:14 +0100

On Fri, 21 Jan 2005 09:08:44 +0000 (UTC), Matthew Winn
wrote:
>
> Would bookmark-related preferences solve most problems? Can anyone
> come up with real-life situations where they regularly follow a link
> from one site to another and need preferences to change automatically
> without going through bookmarks?
>

Well, I do have a bookmark to most of my favourite pages, but I really
don't always use them. In fact, most of the time the Mail panel has focus,
and I just press Ctrl+N to open a new tab, then type the first two letters
of the url and select the url from the auto-complete list.

So that's a disadvantage of bookmark-related settings. You are then
required to browse to the bookmark and select it in order to apply the
settings. I think Opera's server manager (where you can control passwords
and cookies) would be the perfect place to add these settings: as soon as
you change any settings in the F12 menu, the url should be stored in the
server manager together with the new settings. Or let the F12 menu
represent the global (default) settings, and eg. Alt+F12 the local
site-specific settings that are automatically updated in the server
manager.

From:	Matthew Winn
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 08:49:27 +0000 (UTC)

On Wed, 19 Jan 2005 19:44:55 GMT, Steven V. Gunhouse wrote:
> On Wed, 19 Jan 2005 14:59:06 +0100, Joaquin Fernandez
> wrote:
> > It will be interesting to have differents options for each window (using
> > F12), example: If I have ten windows open, I would like to disable the
> > Java Script in one, Cookies in other, identify as other browser in other
> > an so on. Now, all this options are global to all the windows, hence if
> > I like to disable Java or Java script for one site, I will disable also
> > for all the other.
>
> Sounds like a different version of a common wish - server-specific
> settings for browser ID, javascript, plugins, etc. Probably what you
> really meant anyway. Then it doesn't matter what window you open the site
> in, as soon as you click on a particular site then it automatically
> changes all settings to the ones listed for that site. If your bank
> requires you to identify as IE, while Gmail requires you to identify as
> Opera, and another site requires you to enable popups, you don't have to
> remember to change them all the time.

It's a similar wish, but not the same. Site-specific settings have
to be remembered somewhere: stored in a separate file, or possibly
associated with a bookmark (which would be far easier to implement).
The request was merely for local preferences: the ability to change
options on a page by page basis without having them apply to every
page that is already open.

Personally I'd like to see both: changes to a page's preferences that
don't apply to everything else, and the ability to set preferences on
a bookmark so they'll always apply when I visit the site.

--
Matthew Winn
[If replying by email remove the "r" from "urk"]

From:	Joaquin Fernandez
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 09:37:03 +0100

On Wed, 19 Jan 2005 19:44:55 GMT, Steven V. Gunhouse
wrote:

This is only a wish that has not be implemented yet, isn't it?

> Sounds like a different version of a common wish - server-specific
> settings for browser ID, javascript, plugins, etc. Probably what you
> really meant anyway.

From:	Steven V. Gunhouse
Subject:	Re: Quick options (F12) for each window
Date:	Thu, 20 Jan 2005 18:13:48 GMT

On Thu, 20 Jan 2005 09:37:03 +0100, Joaquin Fernandez
wrote:

> On Wed, 19 Jan 2005 19:44:55 GMT, Steven V. Gunhouse
> wrote:
>
>> Sounds like a different version of a common wish - server-specific
>> settings for browser ID, javascript, plugins, etc. Probably what you
>> really meant anyway.
>
> This is only a wish that has not be implemented yet, isn't it?
>

Yes, as of 8.0 B1 anyway. I don't work for Opera and so can't say what
surprises they may have in store. (Even if I was, apparently they aren't
allowed to say either.)

--
Using Opera's revolutionary e-mail client: http://www.opera.com/m2/