~ubuntu-branches/ubuntu/natty/gnome-terminal/natty

« back to all changes in this revision

Viewing changes to src/profile-preferences.glade

  • Committer: Bazaar Package Importer
  • Author(s): Chris Coulson
  • Date: 2010-08-12 02:37:30 UTC
  • Revision ID: james.westby@ubuntu.com-20100812023730-tezff2mp635dsfkf
Tags: 2.30.2-1ubuntu2
* Fix LP: #549552 - solid colour BG is transparent. When set to solid,
  the terminal window inherits transparency from the GTK theme. Add
  a checkbutton in the Background tab of the preferences to inherit
  background settings from the theme to make it possible to choose
  a solid colour again (without having to select "Transparent" and
  then adjusting the slider to maximum)
  - update debian/patches/02_add_transparency_properties.patch

Show diffs side-by-side

added added

removed removed

Lines of Context:
1924
1924
              <property name="spacing">6</property>
1925
1925
 
1926
1926
              <child>
 
1927
                <widget class="GtkCheckButton" id="use-theme-background-checkbutton">
 
1928
                  <property name="visible">True</property>
 
1929
                  <property name="can_focus">True</property>
 
1930
                  <property name="label" translatable="yes">_Use background settings from system theme</property>
 
1931
                  <property name="use_underline">True</property>
 
1932
                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
1933
                  <property name="focus_on_click">True</property>
 
1934
                  <property name="active">True</property>
 
1935
                  <property name="inconsistent">False</property>
 
1936
                  <property name="draw_indicator">True</property>
 
1937
                </widget>
 
1938
                <packing>
 
1939
                  <property name="padding">0</property>
 
1940
                  <property name="expand">False</property>
 
1941
                  <property name="fill">False</property>
 
1942
                </packing>
 
1943
              </child>
 
1944
 
 
1945
              <child>
1927
1946
                <widget class="GtkRadioButton" id="solid-radiobutton">
1928
1947
                  <property name="visible">True</property>
1929
1948
                  <property name="can_focus">True</property>