[Lazarus] Lazarus code editor improvement?

[Martin Frb]

On 02/11/2019 16:10, Bo Berglund via lazarus wrote:
> On Sat, 2 Nov 2019 15:42:54 +0100, Martin Frb via lazarus
> <lazarus at lists.lazarus-ide.org> wrote:
>
>> Alt - n (1-9) is "goto source editor n" (switch to tab n)
>> Why this triggers on altgr for you, I am not sure
> OK, but then where in Key Mappings do I find it so I can disable it?
> It is very confusing for me not having used these before.
> I go to Tools/Options/Editor/Key Mappings
> And here I find a bewildering number of functions...
You can search for the name (left filter edit).  Though there is a space 
"Go to source editor"
Or you can search by key (button "Find Key combination")

In this case the entries are in "Source Notebook commands" if you look 
at the main tree nodes.


> SourceNotebookCommands/GoToPriorEditor is set to use Ctrl+Shift+Tab
>
> And this does exactly what the AltGr key by itself does, except it
> wraps around from the first tab to the last (rightmost) when used in
> the leftmost tab. AltGr does not do that, it stops at he leftmost tab.
>
I have no idea what your alt-gr key does....

You mention using  RealVNC in another mail.

IIRC there were some very strange key effects reported with vnc in the 
past (no idea if that applies to RealVNC).
 From distant memory, vnc sends control keys with a timestamp that does 
not match the interpretation that I would have from the doc of this 
field.... That said I have no idea if vnc is right or not.
There is an argument that it works with other apps, but that is void, 
because other apps may not use this (timestamp) field at all, and then 
if it was wrong they would ignore that. Not sure what happened with 
regards to this entire story.