Improve default terminal order

This commit is contained in:
crschnick 2024-09-15 07:22:27 +00:00
parent c430d9857c
commit 19b341d848

View file

@ -1019,13 +1019,13 @@ public interface ExternalTerminalType extends PrefsChoiceValue {
AlacrittyTerminalType.ALACRITTY_LINUX, AlacrittyTerminalType.ALACRITTY_LINUX,
WezTerminalType.WEZTERM_LINUX, WezTerminalType.WEZTERM_LINUX,
KittyTerminalType.KITTY_LINUX, KittyTerminalType.KITTY_LINUX,
KONSOLE,
XFCE,
ELEMENTARY,
GNOME_TERMINAL,
TILIX,
TERMINATOR, TERMINATOR,
TERMINOLOGY, TERMINOLOGY,
XFCE,
ELEMENTARY,
KONSOLE,
GNOME_TERMINAL,
TILIX,
GUAKE, GUAKE,
TILDA, TILDA,
XTERM, XTERM,