-
Jehan authored
To be used in the next commit. I keep the GUI and core changes well separated in different commits so that the core is easy to cherry-pick even though I will have to have different GUI code.
20b399e9
To be used in the next commit. I keep the GUI and core changes well separated in different commits so that the core is easy to cherry-pick even though I will have to have different GUI code.