On 07/23/2016 12:06 PM, Hal Kierstead wrote: > How do I bind a key combination to insert additional theorem text? I am using > 2.2.0.
Does "Alt-A 1" work? This is the default here. Look under "argument-insert" for the bindings. Richard
On 07/23/2016 12:06 PM, Hal Kierstead wrote: > How do I bind a key combination to insert additional theorem text? I am using > 2.2.0.
Does "Alt-A 1" work? This is the default here. Look under "argument-insert" for the bindings. Richard