Re: Changing key bindings in the GUI

2014-08-26 Thread Maria Gouskova
On Mon, Aug 25, 2014 at 4:40 PM, Maria Gouskova wrote: > Hi all, > > I want to check whether this is a bug or I'm just missing something. I > am using a custom bindings file that calls two other files. The file > looks like this: > ## > > \bind_file aqua.bind >

Changing key bindings in the GUI

2014-08-25 Thread Maria Gouskova
Hi all, I want to check whether this is a bug or I'm just missing something. I am using a custom bindings file that calls two other files. The file looks like this: ## \bind_file aqua.bind \bind_file mac.bind \bind "C-y""layout Numbered Examples (conse