Dmitry Bushev 957279153a Add a shortcut for interrupting the program (#3967) ... Add shortcuts for interrupting and restarting the program execution.		2022-12-12 17:48:42 +00:00
..
gui	Add a shortcut for interrupting the program (#3967)	2022-12-12 17:48:42 +00:00
ide-desktop	enable node labels by default and keep their position up to date (#3932)	2022-11-30 19:57:49 +00:00