Ignore:
Timestamp:
05/28/12 08:13:12 (12 years ago)
Author:
István Váradi <ivaradi@…>
Branch:
default
Phase:
public
Message:

Minor fixes, additions to the documents

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/mlx/gui/gui.py

    r203 r204  
    804804        menuBar.append(toolsMenuItem)
    805805
    806         checklistMenuItem = gtk.ImageMenuItem(gtk.STOCK_PREFERENCES)
     806        checklistMenuItem = gtk.ImageMenuItem(gtk.STOCK_APPLY)
    807807        checklistMenuItem.set_use_stock(True)
    808808        checklistMenuItem.set_label(xstr("menu_tools_chklst"))
     
    813813        toolsMenu.append(checklistMenuItem)
    814814
    815         prefsMenuItem = gtk.ImageMenuItem(gtk.STOCK_APPLY)
     815        prefsMenuItem = gtk.ImageMenuItem(gtk.STOCK_PREFERENCES)
    816816        prefsMenuItem.set_use_stock(True)
    817817        prefsMenuItem.set_label(xstr("menu_tools_prefs"))
Note: See TracChangeset for help on using the changeset viewer.