2 Commits

Author	SHA1	Message	Date
Laurent Cozic	3a57cfea02	Desktop: Simplified and improve command service, and added command palette ... - Commands "enabled" state is now expressed using a "when-clause" like in VSCode - A command palette has been added to the Tools menu	2020-10-18 21:52:10 +01:00
Laurent Cozic	dc51781976	Desktop: Fixes #3886: Allows toggling external editing off and on again	2020-10-10 13:32:30 +01:00