Changeset 1912:21be20b01572
- 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:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r1905
|
r1912
|
|
| 308 | 308 | <widget class="GtkImageMenuItem" id="menu_do_keep"> |
| 309 | 309 | <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> |
| 311 | 311 | <property name="label" translatable="yes">_Keep</property> |
| 312 | 312 | <property name="use_underline">True</property> |
| … |
… |
|
| 314 | 314 | <widget class="GtkImage" id="menu-item-image21"> |
| 315 | 315 | <property name="visible">True</property> |
| 316 | | <property name="stock">gtk-media-pause</property> |
| | 316 | <property name="stock">gtk-media-rewind</property> |
| 317 | 317 | </widget> |
| 318 | 318 | </child> |
| … |
… |
|
| 328 | 328 | <widget class="GtkImage" id="menu-item-image22"> |
| 329 | 329 | <property name="visible">True</property> |
| 330 | | <property name="stock">gtk-media-rewind</property> |
| | 330 | <property name="stock">gtk-media-pause</property> |
| 331 | 331 | </widget> |
| 332 | 332 | </child> |
| … |
… |
|
| 342 | 342 | <widget class="GtkImage" id="menu-item-image23"> |
| 343 | 343 | <property name="visible">True</property> |
| 344 | | <property name="stock">gtk-missing-image</property> |
| | 344 | <property name="stock">gtk-execute</property> |
| 345 | 345 | </widget> |
| 346 | 346 | </child> |
| … |
… |
|
| 356 | 356 | <widget class="GtkImage" id="menu-item-image24"> |
| 357 | 357 | <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"> |
| 365 | 365 | <property name="visible">True</property> |
| 366 | 366 | <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> |
| 367 | 367 | <property name="label" translatable="yes">_Forbid Version</property> |
| 368 | 368 | <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> |
| 369 | 375 | </widget> |
| 370 | 376 | </child> |