desktop-packages team mailing list archive

[Paul Sladen <ubuntu@xxxxxxxxxxxxxxx>]

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 <chpe@xxxxxxxxx>
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 Desktop
Packages, 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

Status in “ubuntu-font-family-sources” package in Ubuntu:
  New
Status in “vte” package in Ubuntu:
  Confirmed

Bug description:
  Laptop screen resolution is 1280x800.

  Set gnome-terminal font to Ubuntu Mono 11.

  In Oneiric, I was able to fit two terminals side by side without any
  overlap. In fact, they fit without overlap and without causing the
  launcher to autohide.

  After upgrading to Precise, the terminals now push over into the
  launcher area, causing it to autohide, and even then, they still
  overlap. Notice the terminal on the right, the 'a' in 'achiang' is
  covered up by the terminal on the left.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-font-family-sources/+bug/893174/+subscriptions