Yair Morgenstern 3ba20dca52 Resolved #2413 - Yes, having the hotkey always be on display does look much nicer, and I think it's more user-firendly too (no more 'wait let me hover over it to see what the hotkey is')		2020-04-16 11:59:11 +03:00
..
src	Resolved #2413 - Yes, having the hotkey always be on display does look much nicer, and I think it's more user-firendly too (no more 'wait let me hover over it to see what the hotkey is')	2020-04-16 11:59:11 +03:00
build.gradle	Tutorials moved to a separate json file	2018-03-12 23:33:03 +02:00