mirrors
/
wmii
mirror of https://github.com/0intro/wmii
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Rename python wmiirc history files to match shell rc's names.

This commit is contained in:
Kris Maglione 2009-09-30 15:27:26 -04:00
parent 8351b35538
commit 8a4ccf526b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
alternative_wmiircs/python/wmiirc.py
View File

@ -124,10 +124,10 @@ class Actions(events.Actions):
def exit(self, args=''):
client.awrite('/event', 'Quit')
program_menu = Menu(histfile='%s/history.prog' % confpath[0], nhist=5000,
program_menu = Menu(histfile='%s/history.progs' % confpath[0], nhist=5000,
action=curry(call, 'wmiir', 'setsid',
pygmi.shell, '-c', background=True))
action_menu = Menu(histfile='%s/history.action' % confpath[0], nhist=500,
action_menu = Menu(histfile='%s/history.actions' % confpath[0], nhist=500,
choices=lambda: Actions._choices,
action=Actions._call)
tag_menu = Menu(histfile='%s/history.tags' % confpath[0], nhist=100,