Re: Exit desktop on Task Manager menu.

From	Paul Sprangers <Paul@sprie.nl>
Subject	Re: Exit desktop on Task Manager menu.
Newsgroups	comp.sys.acorn.misc
Date	2012-03-14 10:50 +0100
Message-ID	<T27042bb27Paul@sprie.nl> (permalink)
References	<2b0bf96f52.pnyoung@pnyoung.ormail.co.uk> <jjofnk$sjp$1@dont-email.me> <97bd037052.chris@o2.co.uk> <46a7087052.beeb@ron1954.woosh.co.nz>
Organization	None

Show all headers | View raw

In article <46a7087052.beeb@ron1954.woosh.co.nz>,
   Ron <beeb@woosh.co.nz> wrote:

> Actually it looks a better option than using F12, as I often nudge
> the F12 by mistake. Cntrl+F12 doesn't have the same problem,
> maybe it is possible to map F12 to Cntrl+Shift+F12 to avoid this.

There's a module that transposes F12 and Ctrl-F12.. Since it's only 207
bytes large (shorter than the text of this mail), I dare to challenge the
netiquette and attach it here.

Put it into your !Boot.Choices.Boot.Tasks directory and enjoy the pleasure
of invoking the much appreciated task window with a single press on F12.

Kind regards,
Paul Sprangers

begin 644 Ctrlf12
M.`````````!,`````````(@```"0````K```````````````````````````
M````-`````$````4`*#C(!"/X@`@H.-'``#O$0``[P!`+>D4`*#C"!"/X@`@
MH.,@``+O`("]Z```4>,%```:S`!0X^P`H`,"```*[`!0X\P`H`/___\*#O"@
MX4-T<FQF,3(`0W1R;&8Q,@DQ+C`P("@R-R!*=6P@,C`P-"D``$-T<FQF,3(`
8````````````````R```````````````
`
end
RiscOS filetype : FFA

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