terminal size switching in maximised / fullscreen mode
@chpe
Submitted by Christian Persch Link to original bug (#555668)
Description
Both in bug 207 and bug 548322 which deal with resizing the terminal to a specific grid size, the problem came up about what to do when the terminal is maximised or fullscreened.
The options would be:
- ignore the resize request
- unmaximise / unfullscreen and apply the resize
- stay maximised / fullscreended but change the zoom factor so that the display has the requested grid size
Version: git master