GNOME Bugzilla – Bug 730858
Font size diverges from default when the second tab is closed
Last modified: 2014-05-29 11:06:42 UTC
1. Start gnome-terminal. 2. Increase [or decrease] font size. 3. Open another tab, this new tab has the default font size. 4. Close the new tab. 5. (optional) goto 3 for even more fun :) The font size of the first (and now only) tab becomes even bigger [or even smaller], as if the font size hotkey was pressed twice again. git master only, 3.12 is unaffected.
The desired font size is restored on focus loss.
(reminds me to bug 685507)
The bug is caused by https://git.gnome.org/browse/gnome-terminal/commit/?id=dfd92cb
Created attachment 277391 [details] [review] Fix
Hmm. Looks fine to me. Howver, I wonder if the VteTerminal not getting a style-updated signal when being added to the dragged-to window ?
Dunno. The patch is not about style-updated at all. It's about the scaled font description being fed back to the method that expects the unscaled description and applies the scale factor once again.
(In reply to comment #5) > Hmm. Looks fine to me. Howver, I wonder if the VteTerminal not getting a > style-updated signal when being added to the dragged-to window ? err... wait... didn't you mean to post this comment on bug 730850 instead?
Comment on attachment 277391 [details] [review] Fix 5d934ec