Eclipse Community Forums: Eclipse Platform » How to toggle "insert" edition mode on a keyboard without "insert" key (eg. Mac

Home » Eclipse Projects » Eclipse Platform » How to toggle "insert" edition mode on a keyboard without "insert" key (eg. Mac

How to toggle "insert" edition mode on a keyboard without "insert" key (eg. Mac [message #290130]

Thu, 18 August 2005 16:06

Eclipse User

Originally posted by: francois.NOSPAM.granade.com

I'm on MacOS, on a machine that doesn't have an "insert" key on the
keyboard.

I want to toggle between insert modes ("smart insert", etc.) in the Java
editor.

The help (Key assist) tells me that I should use shift-cmd-insert key...
but my keyboard doesn't have an "insert" key ??

There must bee a way, because I toggled somehow, but I can't get the key
sequence again...

Sounds like a very dumb question, but I've looked everywhere and
couldn't find any way.

thanks for any help

Francois

Re: How to toggle "insert" edition mode on a keyboard without "insert" key (eg. [message #290132 is a reply to message #290130]

Thu, 18 August 2005 16:42

Eclipse User

Originally posted by: francois.NOSPAM.granade.com

ok, I've found a simple way: in the preferences ("general->keys" panel),
change the keyboard assignment (to ctrl-cmd-I for example). But should I
enter it as a bug, that it doesn't seem possible (or at least easy) at
first ?

thanks

Francois Granade <francois@NOSPAM.granade.com> wrote:

> I'm on MacOS, on a machine that doesn't have an "insert" key on the
> keyboard.
>
> I want to toggle between insert modes ("smart insert", etc.) in the Java
> editor.
>
> The help (Key assist) tells me that I should use shift-cmd-insert key...
> but my keyboard doesn't have an "insert" key ??
>
> There must bee a way, because I toggled somehow, but I can't get the key
> sequence again...
>
> Sounds like a very dumb question, but I've looked everywhere and
> couldn't find any way.
>
> thanks for any help
>
> Francois

Re: How to toggle "insert" edition mode on a keyboard without "insert" key (eg. [message #290168 is a reply to message #290132]

Fri, 19 August 2005 04:36

Eclipse User

Francois Granade wrote:
> ok, I've found a simple way: in the preferences ("general->keys" panel),
> change the keyboard assignment (to ctrl-cmd-I for example).

Definitely the right way.

> But should I
> enter it as a bug, that it doesn't seem possible (or at least easy) at
> first ?

done - https://bugs.eclipse.org/bugs/show_bug.cgi?id=107414

-tom

Previous Topic:	Plug-in not working in deployment
Next Topic:	Restarting workspace or workbench programmatically

Goto Forum:

-=] Back to Top [=-

Current Time: Wed Nov 05 17:01:29 EST 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter