Open MathiasLui opened 2 years ago
Open with our text editor on the right or with an external one (put into settings and also allow either via right-click, if we want to use something that differs from the current default)
Open with our text editor on the right or with an external one (put into settings and also allow either via right-click, if we want to use something that differs from the current default)