12 Commits

Author	SHA1	Message	Date
Hans Pagel	e536087cb2	flatten history plugin options	2020-09-27 10:52:09 +02:00
Hans Pagel	b718061de9	format all the keyboard shortcuts	2020-09-24 17:33:04 +02:00
Hans Pagel	063e268479	format keyboard shortcuts	2020-09-24 17:27:26 +02:00
Hans Pagel	949f4ccb3d	a ton of improvements	2020-09-23 12:03:03 +02:00
Hans Pagel	789296be4e	add installation instructions to all extensions	2020-09-23 09:52:04 +02:00
Hans Pagel	ece9d0a554	minor improvements	2020-09-21 16:59:28 +02:00
Hans Pagel	3e85f4f217	rename keybindings to keyboard shortcuts	2020-09-10 11:24:33 +02:00
Hans Pagel	bdb3d2d30a	format tables	2020-09-10 10:21:24 +02:00
Hans Pagel	5c470caefc	update the history extension page, add a demo with tests	2020-09-02 15:48:02 +02:00
Hans Pagel	ecd95b8c71	improve extensions documentation, add italic documentation	2020-08-20 21:25:15 +02:00
Hans Pagel	cbe8e1f357	improve the extensions documentation	2020-08-20 15:33:16 +02:00
Hans Pagel	c182842681	move all extensions to separate pages	2020-08-18 21:39:41 +02:00