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-20 01:15 +0000
Organization	A noiseless patient Spider
Message-ID	<6faa2a7352.jim@nails.abbeypress.net> (permalink)
References	<2b0bf96f52.pnyoung@pnyoung.ormail.co.uk> <5270123ac6steve@revi11.plus.com> <fdbd767052.jim@nails.abbeypress.net> <527095cedcsteve@revi11.plus.com>

Show all headers | View raw

Ste (news) wrote on 15 Mar:
> Hang on, the first one I mentioned was "*Commands" which is the F12 action.
> I personally don't like this at all and don't think it should exist. On my
> machine, I have set this up in the boot sequence:
>     Set Alias$ShellCLI TaskWindow GOS -name TaskWindow
> but in the past I've had it set up to do nothing at all.

Naked F12 is a pitfall for newcomers -- I well remember my own early 
experience of hitting it by accident and now and then my wife does it 
and then has to ask what happened and how to get back to normal.

Would be nice to see F12 and Shift-F12 swapped. An alias for that?
Plain F12 then merely brings the iconbar to the front -- no harm if 
hit by mistake.
Shift-F12 is still handy enough to get to commandline intentionally.
Ctrl-F12 unaffected -- taskwindow.
Shift-Ctrl-F12 shutdown, as ever.

Hmm, what can Alt-F12 do?  Other Alt combinations with Sh & Ctrl?


-- 
Jim Nagel                        www.archivemag.co.uk
>> "from" address is genuine but will change.  website has current one.
See you at SW show?   www.riscos-swshow.co.uk   Feb 25 Saturday

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