[0.8.31] Shortkey for !KEYWORDS
2017-04-07, 14:12 (This post was last modified: 2017-04-08, 9:35 by Nils Schmidt.)
2017-04-07, 14:12 (This post was last modified: 2017-04-08, 9:35 by Nils Schmidt.)
(2017-04-06, 16:33)Philippe Hurbain Wrote:Quote:As a user I want an easy way to add a new history statement: 0 !HISTORY ("today date") ["username"] in the header.+1
...and keywords too !
I finished the implementation of this feature a few moments ago (#529).