Ticket #124: 0001-Add-monitor-choice-to-UI.patch

File 0001-Add-monitor-choice-to-UI.patch, 4.8 KB (added by regit, 3 years ago)
  • data/prefs.glade

    From 92311cefce17d94b1952046b165004f5e44895ff Mon Sep 17 00:00:00 2001
    From: Eric Leblond <eric@inl.fr>
    Date: Sat, 28 Mar 2009 14:18:09 +0100
    Subject: [PATCH] Add monitor choice to UI.
    
    This patch modifies the UI to be able to select on which monitor guake
    will appear.
    
    Signed-off-by: Eric Leblond <eric@inl.fr>
    ---
     data/prefs.glade |  107 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
     1 files changed, 107 insertions(+), 0 deletions(-)
    
    diff --git a/data/prefs.glade b/data/prefs.glade
    index 69e8c0a..128c53d 100644
    a b  
    348348                        <property name="position">3</property> 
    349349                      </packing> 
    350350                    </child> 
     351 
     352                  <child> 
     353                    <widget class="GtkFrame" id="frame12"> 
     354                      <property name="visible">True</property> 
     355                      <property name="label_xalign">0</property> 
     356                      <property name="label_yalign">0.5</property> 
     357                      <property name="shadow_type">GTK_SHADOW_NONE</property> 
     358 
     359                      <child> 
     360                        <widget class="GtkAlignment" id="alignment10102"> 
     361                          <property name="visible">True</property> 
     362                          <property name="xalign">0.5</property> 
     363                          <property name="yalign">0.5</property> 
     364                          <property name="xscale">1</property> 
     365                          <property name="yscale">1</property> 
     366                          <property name="top_padding">0</property> 
     367                          <property name="bottom_padding">0</property> 
     368                          <property name="left_padding">12</property> 
     369                          <property name="right_padding">0</property> 
     370 
     371                          <child> 
     372                            <widget class="GtkHBox" id="hbox30"> 
     373                              <property name="visible">True</property> 
     374                              <property name="homogeneous">False</property> 
     375                              <property name="spacing">0</property> 
     376 
     377                              <child> 
     378                                <widget class="GtkLabel" id="monchoicelabel"> 
     379                                  <property name="visible">True</property> 
     380                                  <property name="label" translatable="yes">Display on monitor:</property> 
     381                                  <property name="use_underline">False</property> 
     382                                  <property name="use_markup">False</property> 
     383                                  <property name="justify">GTK_JUSTIFY_LEFT</property> 
     384                                  <property name="wrap">False</property> 
     385                                  <property name="selectable">False</property> 
     386                                  <property name="xalign">0.5</property> 
     387                                  <property name="yalign">0.5</property> 
     388                                  <property name="xpad">0</property> 
     389                                  <property name="ypad">0</property> 
     390                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     391                                  <property name="width_chars">-1</property> 
     392                                  <property name="single_line_mode">False</property> 
     393                                  <property name="angle">0</property> 
     394                                </widget> 
     395                                <packing> 
     396                                  <property name="padding">0</property> 
     397                                  <property name="expand">False</property> 
     398                                  <property name="fill">False</property> 
     399                                </packing> 
     400                              </child> 
     401 
     402                              <child> 
     403                                <widget class="GtkSpinButton" id="monitorinput"> 
     404                                  <property name="visible">True</property> 
     405                                  <property name="can_focus">True</property> 
     406                                  <property name="climb_rate">1</property> 
     407                                  <property name="digits">0</property> 
     408                                  <property name="numeric">False</property> 
     409                                  <property name="update_policy">GTK_UPDATE_ALWAYS</property> 
     410                                  <property name="snap_to_ticks">True</property> 
     411                                  <property name="wrap">False</property> 
     412                                  <property name="adjustment">0 0 10 1 10 10</property> 
     413                                  <signal name="value_changed" handler="on_monitorinput_value_changed" /> 
     414                                </widget> 
     415                                <packing> 
     416                                  <property name="padding">0</property> 
     417                                  <property name="expand">False</property> 
     418                                  <property name="fill">True</property> 
     419                                </packing> 
     420                              </child> 
     421                            </widget> 
     422                          </child> 
     423                        </widget> 
     424                      </child> 
     425 
     426                      <child> 
     427                        <widget class="GtkLabel" id="monitor"> 
     428                          <property name="visible">True</property> 
     429                          <property name="label" translatable="yes">&lt;b&gt;Monitor&lt;/b&gt;</property> 
     430                          <property name="use_underline">False</property> 
     431                          <property name="use_markup">True</property> 
     432                          <property name="justify">GTK_JUSTIFY_LEFT</property> 
     433                          <property name="wrap">False</property> 
     434                          <property name="selectable">False</property> 
     435                          <property name="xalign">0.5</property> 
     436                          <property name="yalign">0.5</property> 
     437                          <property name="xpad">0</property> 
     438                          <property name="ypad">0</property> 
     439                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property> 
     440                          <property name="width_chars">-1</property> 
     441                          <property name="single_line_mode">False</property> 
     442                          <property name="angle">0</property> 
     443                        </widget> 
     444                        <packing> 
     445                          <property name="type">label_item</property> 
     446                        </packing> 
     447                      </child> 
     448                    </widget> 
     449                    <packing> 
     450                      <property name="padding">0</property> 
     451                      <property name="expand">True</property> 
     452                      <property name="fill">True</property> 
     453                    </packing> 
     454                  </child> 
     455 
     456 
     457 
    351458                  </widget> 
    352459                </child> 
    353460                <child>