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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add shortcut + command to execute command under cursor

grayswandyr opened this issue · comments

Add a way to execute the command currently under the cursor, with a specific shortcut (e.g. Shit+Ctrl+E).