Re: Exit desktop on Task Manager menu.

From	Jim Nagel <jimnewsm10d@abbeypress.co.uk>
Newsgroups	comp.sys.acorn.misc
Subject	Re: Exit desktop on Task Manager menu.
Date	2012-03-14 19:18 +0000
Organization	A noiseless patient Spider
Message-ID	<fdbd767052.jim@nails.abbeypress.net> (permalink)
References	<2b0bf96f52.pnyoung@pnyoung.ormail.co.uk> <5270123ac6steve@revi11.plus.com>

Show all headers | View raw

Ste (news) wrote on 14 Mar:
> Personally, I think the Task Manager's (Switcher) menu doesn't need:
>     *Commands
>     Desktop settings
>     Exit desktop

The first one should stay because it carries the reminder about ^F12 
as its shortcut.  Isn't it a styleguide thing that everything should 
be on a menu somewhere, even it's available elsewhere?  (If not, it 
should be, for those what forget.)

Paul Sprangers' posting never arrived here.  I agree that bare F12 
taking you out of the desktop is a menace.  I remember being foxed by 
it when I first got my first Archimedes (how do you get back?  Only 
with hindsight was the "Return" key the obvious way to return) and 
I've seen other new users similarly foxed.

OS 4.39 has "Choices..." on the Task Manager menu, which is sensible 
-- equivalent to and more obvious than doubleclicking $.!Boot -- but 
it would be handy if Adjust-click on Task Manager did that.

In general, let's hope that the Task Manager menu is one little area 
where the two forks of RiscOS could converge easily enough.


-- 
Jim Nagel                        www.archivemag.co.uk

Back to comp.sys.acorn.misc | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-13 20:25 +0000
  Re: Exit desktop on Task Manager menu. druck <news@druck.org.uk> - 2012-03-13 21:55 +0000
    Re: Exit desktop on Task Manager menu. Chris Hughes <news@noonehere.co.uk> - 2012-03-13 22:21 +0000
      Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-14 12:15 +1300
        Re: Exit desktop on Task Manager menu. Paul Sprangers <Paul@sprie.nl> - 2012-03-14 10:50 +0100
          Re: Exit desktop on Task Manager menu. cferris@freeRemoveuk.com.invalid - 2012-03-14 10:07 +0000
            Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-15 01:40 +1300
              Re: Exit desktop on Task Manager menu. Stuart <Spambin@argonet.co.uk> - 2012-03-14 16:31 +0000
              Re: Exit desktop on Task Manager menu. druck <news@druck.org.uk> - 2012-03-14 20:12 +0000
                Re: Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-14 22:08 +0000
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-14 23:46 +0000
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-14 23:57 +0000
                Re: Exit desktop on Task Manager menu. Fred Bambrough <fred@[127.0.0.1]> - 2012-03-15 00:59 +0000
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-15 12:44 +1300
                Re: Exit desktop on Task Manager menu. druck <news@druck.org.uk> - 2012-03-15 21:42 +0000
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-16 05:21 +0100
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-16 23:49 +1300
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-16 18:32 +0100
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-18 11:31 +1300
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-18 00:35 +0100
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-18 22:08 +1300
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-17 22:53 +0000
                Re: Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-18 08:19 +0000
                Re: Exit desktop on Task Manager menu. Chris Hughes <news@noonehere.co.uk> - 2012-03-18 08:39 +0000
                Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-18 22:40 +1300
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-18 10:32 +0000
                Re: Exit desktop on Task Manager menu. Grahame Parish <spamtrap@millers-way.net> - 2012-03-18 12:10 +0000
                Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-19 10:24 +0000
                Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-20 01:00 +0000
          Re: Exit desktop on Task Manager menu. Bryn Evans <d@a.invalid> - 2012-03-14 16:55 +0000
    Re: Exit desktop on Task Manager menu. Peter Young <pnyoung@ormail.co.uk> - 2012-03-14 09:06 +0000
  Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-13 23:29 +0000
  Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-14 01:00 +0000
    Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-14 14:39 +1300
    Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-14 19:18 +0000
      Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-15 00:57 +0000
        Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-16 12:03 +1300
          Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-16 05:29 +0100
        Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-19 10:29 +0000
          Re: Exit desktop on Task Manager menu. Tony Moore <old_coaster@yahoo.co.uk> - 2012-03-19 15:41 +0000
          Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-19 16:52 +0000
        Re: Exit desktop on Task Manager menu. Jim Nagel <jimnewsm10d@abbeypress.co.uk> - 2012-03-20 01:15 +0000
          Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-20 23:26 +1300
          Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-20 12:55 +0000
          Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 10:54 +0000
            Re: Exit desktop on Task Manager menu. "David Holden" <SpamBin@apdl.co.uk> - 2012-03-23 11:57 +0000
              Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 13:16 +0000
            Re: Exit desktop on Task Manager menu. Chris Evans <chris@cjemicros.co.uk> - 2012-03-23 12:12 +0000
              Re: Exit desktop on Task Manager menu. Chris Gransden <chrisg@care4free.net> - 2012-03-23 12:59 +0000
                Re: Exit desktop on Task Manager menu. Paul Sprangers <Paul@sprie.nl> - 2012-03-23 18:13 +0100
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-23 18:50 +0100
                Re: Exit desktop on Task Manager menu. Paul Sprangers <Paul@sprie.nl> - 2012-03-24 09:42 +0100
                Re: Exit desktop on Task Manager menu. Chris Johnson <chrisjohnson+news@spamcop.net> - 2012-03-23 17:53 +0000
              Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 13:18 +0000
                Re: Exit desktop on Task Manager menu. "David Holden" <SpamBin@apdl.co.uk> - 2012-03-23 14:03 +0000
                Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-23 14:38 +0000
                Re: Exit desktop on Task Manager menu. "John Williams (News)" <UCEbin@tiscali.co.uk> - 2012-03-23 15:52 +0100
                Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-24 11:43 +0000
                Re: Exit desktop on Task Manager menu. Rick Murray <heyrickmail-usenet@yahoo.co.uk> - 2012-03-23 18:41 +0100
                Re: Exit desktop on Task Manager menu. Jess <phantasm_39@hotmail.com> - 2012-03-24 11:40 +0000
              Re: Exit desktop on Task Manager menu. Ron <beeb@woosh.co.nz> - 2012-03-24 03:25 +1300
            Re: Exit desktop on Task Manager menu. Dave Symes <dave@triffid.co.uk> - 2012-03-23 12:17 +0000
              Re: Exit desktop on Task Manager menu. "Ste (news)" <steve@revi11.plus.com> - 2012-03-23 18:32 +0000
      Re: Exit desktop on Task Manager menu. "David Holden" <SpamBin@apdl.co.uk> - 2012-03-15 07:06 +0000
        Re: Exit desktop on Task Manager menu. Tim Hill <tim@invalid.org.uk> - 2012-03-20 12:34 +0000

csiph-web