search

n370 / texmaker

Automatically exported from code.google.com/p/texmaker
0 stars 0 forks source link

Make user tags easier to use by make the trigger user definable #1518

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
As of now the trigger of user tags is ":foo" + key right. For a smoother text 
production a trigger key which is better placed (e.g. the tab key) than an 
arrow key would be most helpful. 
Since some users may have gotten used to the arrow key, making the trigger key 
user definable would be the best option in my opinion.

Original issue reported on code.google.com by till.fa...@gmail.com on 3 Jul 2015 at 12:10