#747244 gnome-terminal: mouse cursor hides when typing and won't unhide when moving it again #747244
- Package:
- gnome-terminal
- Source:
- gnome-terminal
- Description:
- GNOME terminal emulator application
- Submitter:
- Enrico Zini
- Date:
- 2017-08-03 08:24:03 UTC
- Severity:
- normal