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
Desktop Bugs, which is subscribed to gnome-terminal in 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
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
