notion-general

[Notion-general] "Delete" key bindings

[Ranousse <ran...@gm...>]

To customize notion I used to copy in ~/.notion the cfg_something.lua of
interest and modify a few lines in these files.
It works and although it's not very difficult, there's something I don't
like in doing this. You have to copy the whole cfg_notioncore.lua even
if you only want to change three lines.

In this case I find more practical to add my bindings in notion.lua
after including cfg_notioncore.lua (thus writting over the old
bindings). It works for defining or modifying keys. But not for deleting
keys. So here's my question: is there a way to remove some keys or
should I continue to use the old method for this?

Thank you.

Re: [Notion-general] "Delete" key bindings

[Philipp H. <ph...@ph...>]

On Sat, Feb 25, 2012 at 04:33:28PM +0100, Ranousse wrote:
> So here's my question: is there a way to remove some keys or
> should I continue to use the old method for this?

Does something like kpress("F3", nil) achieve what you want?

Regards,
Philipp

Re: [Notion-general] "Delete" key bindings

[Ranousse <ran...@gm...>]

> > So here's my question: is there a way to remove some keys or
> > should I continue to use the old method for this?
 
> Does something like kpress("F3", nil) achieve what you want?


Yes it does! Thank you very much.