Changeset 1912:21be20b01572

Show
Ignore:
Timestamp:
08/16/08 18:19:36 (2 years ago)
Author:
Obey Arthur Liu <arthur@…>
Branch:
gtk
Message:

Integrate ui-main.patch from Andrew. Closing http://dev.graffit.net/aptitude/trac/ticket/3 .

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • src/gtk/ui-main.glade

    r1905 r1912  
    308308                      <widget class="GtkImageMenuItem" id="menu_do_keep"> 
    309309                        <property name="visible">True</property> 
    310                         <property name="tooltip" translatable="yes">Flag the currently selected package and its configuration files for removal</property> 
     310                        <property name="tooltip" translatable="yes">Cancel any pending installation, upgrade, or removal of the currently selected package, and remove any hold that was set on the package</property> 
    311311                        <property name="label" translatable="yes">_Keep</property> 
    312312                        <property name="use_underline">True</property> 
     
    314314                          <widget class="GtkImage" id="menu-item-image21"> 
    315315                            <property name="visible">True</property> 
    316                             <property name="stock">gtk-media-pause</property> 
     316                            <property name="stock">gtk-media-rewind</property> 
    317317                          </widget> 
    318318                        </child> 
     
    328328                          <widget class="GtkImage" id="menu-item-image22"> 
    329329                            <property name="visible">True</property> 
    330                             <property name="stock">gtk-media-rewind</property> 
     330                            <property name="stock">gtk-media-pause</property> 
    331331                          </widget> 
    332332                        </child> 
     
    342342                          <widget class="GtkImage" id="menu-item-image23"> 
    343343                            <property name="visible">True</property> 
    344                             <property name="stock">gtk-missing-image</property> 
     344                            <property name="stock">gtk-execute</property> 
    345345                          </widget> 
    346346                        </child> 
     
    356356                          <widget class="GtkImage" id="menu-item-image24"> 
    357357                            <property name="visible">True</property> 
    358                             <property name="stock">gtk-missing-image</property> 
    359                           </widget> 
    360                         </child> 
    361                       </widget> 
    362                     </child> 
    363                     <child> 
    364                       <widget class="GtkMenuItem" id="menu_do_forbid"> 
     358                            <property name="stock">gtk-select-color</property> 
     359                          </widget> 
     360                        </child> 
     361                      </widget> 
     362                    </child> 
     363                    <child> 
     364                      <widget class="GtkImageMenuItem" id="menu_do_forbid"> 
    365365                        <property name="visible">True</property> 
    366366                        <property name="tooltip" translatable="yes">Forbid the candidate version of the selected package from being installed; newer versions of the package will be installed as usual</property> 
    367367                        <property name="label" translatable="yes">_Forbid Version</property> 
    368368                        <property name="use_underline">True</property> 
     369                        <child internal-child="image"> 
     370                          <widget class="GtkImage" id="menu-item-image31"> 
     371                            <property name="visible">True</property> 
     372                            <property name="stock">gtk-dialog-error</property> 
     373                          </widget> 
     374                        </child> 
    369375                      </widget> 
    370376                    </child>