git clone git://git.gnome.org/vte git show 31b4047a | grep -B6 -A3 '^\+.*inner-border' +#if GTK_CHECK_VERSION (2, 99, 0) + klass->priv = G_TYPE_CLASS_GET_PRIVATE (klass, VTE_TYPE_TERMINAL, VteTerminalClassPrivate); + + klass->priv->style_provider = GTK_STYLE_PROVIDER (gtk_css_provider_new ()); + gtk_css_provider_load_from_data (GTK_CSS_PROVIDER (klass->priv->style_provider), + "VteTerminal {\n" + "-VteTerminal-inner-border: 1;\n" + "}\n", + -1, NULL); +#endif /* GTK 3.0 */
commit 31b4047a51ac48264b735a8be24fdddd3b086acc Author: Christian Persch <c...@gnome.org> Date: Wed Feb 2 18:45:41 2011 +0100 Add default style provider This fixes the default value for the 'inner-border' property not to be NULL. Bug #640460. "shrinking terminal on tab switch" https://bugzilla.gnome.org/show_bug.cgi?id=640460 ** Bug watch added: GNOME Bug Tracker #640460 https://bugzilla.gnome.org/show_bug.cgi?id=640460 ** Package changed: gnome-terminal (Ubuntu) => vte (Ubuntu) ** Changed in: vte (Ubuntu) Status: Incomplete => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/893174 Title: Increased terminal padding under precise: 160 columns of 8-pixel wide no longer fit at 72 point on 1280 pixel display To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ubuntu-font-family-sources/+bug/893174/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs