Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
BlueJ
bjgf
Issues
#691
[
BLUEJ-704
] Terminal window does not change font size
Pressing Ctrl+- or Crtl+= does not change terminal size as it used to.
Issue metadata
Issue type: Sub-task
Priority: Medium
Parent issue: [
BLUEJ-686
] Fix 4.0.0-preview-rc4 issues
Fix versions: 4.0.0preview