|
|
 | | From: | Tilman Hesse | | Subject: | Edit menu from preferences | | Date: | Thu, 06 Jan 2005 13:43:16 +0100 |
|
|
 | Why can't I edit my menu from the preferences? Opera doesn't have to
do it internally, but surely it could open the file in an editor.
(Just like "view page source" does)
Tilman
|
|
| | From: | OmegaJunior | | Subject: | Re: Edit menu from preferences | | Date: | Tue, 11 Jan 2005 16:51:52 +0100 |
|
|
| On Thu, 06 Jan 2005 13:43:16 +0100, Tilman Hesse wrote:
> Why can't I edit my menu from the preferences? Opera doesn't have to
> do it internally, but surely it could open the file in an editor.
> (Just like "view page source" does)
>
> Tilman
Which menu?
--
Opera 7.54u1 (3918) / Win2K Pro / Java 1.4 Disabled
|
|
| | From: | Steven V. Gunhouse | | Subject: | Re: Edit menu from preferences | | Date: | Tue, 11 Jan 2005 18:29:32 GMT |
|
|
| On Tue, 11 Jan 2005 16:51:52 +0100, OmegaJunior wrote:
> On Thu, 06 Jan 2005 13:43:16 +0100, Tilman Hesse wrote:
>
>> Why can't I edit my menu from the preferences? Opera doesn't have to
>> do it internally, but surely it could open the file in an editor.
>> (Just like "view page source" does)
>>
>> Tilman
>
> Which menu?
>
Actually, you could easily tell Opera to open your menu setup file in your
preferred editor, but I'm not sure that editing while Opera is running is
a good idea ...
--
Using M2, Opera's revolutionary e-mail client: http://www.opera.com/m2/
|
|
|
