Opened 12 years ago
Closed 11 years ago
#8108 closed bug (fixed)
Terminal font size setting only affect active tab
| Reported by: | pulkomandy | Owned by: | jackburton |
|---|---|---|---|
| Priority: | normal | Milestone: | R1 |
| Component: | Applications/Terminal | Version: | R1/Development |
| Keywords: | gci2011 | Cc: | |
| Blocked By: | Blocking: | ||
| Platform: | All |
Description
- Open a terminal window
- Open a new terminal tab
- Go to preferences and change font size from 12 to 10
- Font size is changed immediately in current tab
- Go to other tab : font size is still 12 (which may or may not be what we want)
- Open pref. window again : here the size is 10.
Make the setting either per-tab, or global ; but don't mix.
Note:
See TracTickets
for help on using tickets.
The problem was checked during GCI 2011. Behaves the same on hrev43238.
If you follow the steps in description, it really happens. Font size is reported to be 10, even on the panel with font size 12.