Closed Grubuntu closed 5 months ago
Fix bug with the display of the command names which could lose its setting.
Fix bug with the display of the command names which could lose its setting.