You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I just saw the addition of the default application on the settings.
What i miss is the option to change the default terminal, even tho i saw it in the initial mockup of the PR.
There is a specific reason why that is missing? I would like the possibility to change default terminal emulator, even tho it is missing also on GNOME
Anyway thanks for the great work on cosmic
The text was updated successfully, but these errors were encountered:
I just saw the addition of the default application on the settings.
What i miss is the option to change the default terminal, even tho i saw it in the initial mockup of the PR.
There is a specific reason why that is missing? I would like the possibility to change default terminal emulator, even tho it is missing also on GNOME
Anyway thanks for the great work on cosmic
The text was updated successfully, but these errors were encountered: