4 Commits

Author	SHA1	Message	Date
Jeremy Ruston	2adf09129d	Introduce text editor toolbar (#2315) ... Tada!	2016-04-22 08:36:29 +01:00
Jermolene	7421616754	Make keyboard shortcuts configurable ... Fixes #1892	2015-08-08 13:43:14 +01:00
Jermolene	d785d7a1e2	Docs tweak	2015-06-19 17:30:55 +01:00
Jermolene	11421f371c	Add hidden settings docs	2015-06-19 17:29:05 +01:00