Improve plugins, add font settings
authoruser <user@Nokia-N900.(none)>
Mon, 23 Aug 2010 08:42:10 +0000 (10:42 +0200)
committeruser <user@Nokia-N900.(none)>
Mon, 23 Aug 2010 08:42:10 +0000 (10:42 +0200)
commit77dbc289bd4ad9c20de58b67be96c0284c69138d
tree4b199f97c001ad86ab10fb36973e80fd2ac4fbaf
parented5f5bf57919490501aaa8b1a670a8614d0f17d7
Improve plugins, add font settings
khteditor/editor.py
khteditor/plugins/autoindent.py
khteditor/plugins/autoindent.pyo
khteditor/plugins/pylint.py
khteditor/plugins/whitespaceremover.py
khteditor/plugins_api.py
khteditor/settings.py
setup.py