Ticket #447: fix-font-size-prefs.py.patch

File fix-font-size-prefs.py.patch, 0.7 KB (added by deathwarrior, 12 months ago)

prefs.py patch

  • guake-0.4.2/src/prefs.py

    old new  
    8282               'label': _('Copy text to clipboard')}, 
    8383              {'key': LKEY('clipboard_paste'), 
    8484               'label': _('Paste text from clipboard')}, 
     85              ]}, 
     86    {'label': _('Font size'), 
     87     'keys': [{'key': LKEY('fontsize_increase'), 
     88               'label': _('Increase fontsize')}, 
     89              {'key': LKEY('fontsize_decrease'), 
     90               'label': _('Decrease fontsize')}, 
     91              {'key': LKEY('fontsize_reset'), 
     92               'label': _('Reset default fontsize')}, 
    8593              ]} 
     94 
    8695    ] 
    8796 
    8897PALETTES = [