search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
694 stars 123 forks source link

Keyboard shortcuts lost on Linux in A6.1 alpha #256

Closed grayswandyr closed 1 month ago

grayswandyr commented 2 months ago

Ctrl+E and Ctrl+A used to work in A6 on Linux, but they don't work in https://github.com/AlloyTools/org.alloytools.alloy/commit/d531233e70948988b0b117a231500f213bc96f87 (but they work in https://github.com/nmacedo/org.alloytools.alloy/commit/de0bd2f200e9b9b43e2b0b526942973a165bed4c).

awwaiid commented 2 months ago

I did a bisect and found that this issue was introduced in 09c92fe6c105b5880f9d30599ac7df47d92d66d1, which added some emacs-style keybindings; so now Ctrl+A goes the the end-of-line (though it was meant to be start-of-line), and Ctrl+E goes to start-of-line (though it was meant to be end-of-line); both of which override the select-all and execute keybindings.

Anyway ... I think was a mistake in the previous commit, so I opened up https://github.com/AlloyTools/org.alloytools.alloy/pull/262 to undo that part. Verified by testing locally.

grayswandyr commented 2 months ago

Thanks. Ctrl-<- and Ctrl+-> also work like Home and End-of-line, rather than word-jumping.