summaryrefslogtreecommitdiff
path: root/.emacs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Emacs changes for new PG and Isabelle versionRené 'Necoro' Neumann2011-05-061-5/+8
* Default emacs fontRené 'Necoro' Neumann2010-09-231-0/+1
* Move emacs scrollbars to the right -- were they belongRené 'Necoro' Neumann2010-07-011-0/+3
* Update .emacs fileRené 'Necoro' Neumann2010-05-221-1/+3
* Changes to .emacsRené 'Necoro' Neumann2009-12-151-0/+8
* Wrap long lines also in horiz. split windowsRené 'Necoro' Neumann2009-12-141-0/+3
* Add line numbering for emacsRené 'Necoro' Neumann2009-10-271-1/+5
* Move the 'add emacs.d as load dir' to the beginning.René 'Necoro' Neumann2009-10-091-2/+2
* Initial check-in of filesRené 'Necoro' Neumann2009-10-071-0/+33
kRené 'Necoro' Neumann1-1/+3 2008-03-26Added find_version pluginRené 'Necoro' Neumann3-0/+43 2008-03-25Removed just another expanding bugRené 'Necoro' Neumann1-121/+121 2008-03-25Really remove text under buttonsRené 'Necoro' Neumann1-119/+120 2008-03-25Removed GTK section in configRené 'Necoro' Neumann3-13/+8 2008-03-25Added hpaned between category and packageRené 'Necoro' Neumann3-128/+138 2008-03-25Added option to disable console title updateRené 'Necoro' Neumann4-99/+117 2008-03-25New package header layoutRené 'Necoro' Neumann1-122/+128 2008-03-25Updated translationRené 'Necoro' Neumann2-789/+777 2008-03-25Changed from svn to bzr in TRANSLATINGRené 'Necoro' Neumann1-1/+1 2008-03-24Removed the nasty 'expand' bugRené 'Necoro' Neumann1-98/+98 2008-03-24Removed button labels in the package notebookRené 'Necoro' Neumann1-102/+96 2008-03-19install dbus_init pluginRené 'Necoro' Neumann1-1/+1 2008-03-19Init dbus threads using a pluginRené 'Necoro' Neumann3-1/+20 2008-03-19Make logger thread-safeRené 'Necoro' Neumann1-3/+6 2008-03-18Fixed new_use_flag creation errorRené 'Necoro' Neumann1-3/+3 2008-03-18keep i18n up2dateRené 'Necoro' Neumann3-326/+366 2008-03-18corrected header commentRené 'Necoro' Neumann1-2/+2 2008-03-18Removed gtk subdirRené 'Necoro' Neumann21-134/+79 2008-03-18Removed wrapperRené 'Necoro' Neumann2-238/+184 2008-03-18Split and renamed gui_helperRené 'Necoro' Neumann4-249/+266 2008-03-18Splitted windows.pyRené 'Necoro' Neumann10-424/+549 2008-03-12Moved get_dependencies to top package classRené 'Necoro' Neumann4-50/+85 2008-03-11improved performance by caching the use_expand queriesRené 'Necoro' Neumann1-5/+14 2008-03-11use catapult varsRené 'Necoro' Neumann2-4/+6 2008-03-11Updated catapult stuffRené 'Necoro' Neumann5-56/+108 2008-03-10Generate correct KeyNotFoundExceptionRené 'Necoro' Neumann1-2/+2 2008-03-09Small changesRené 'Necoro' Neumann3-1/+4 2008-03-07Better session handlingRené 'Necoro' Neumann1-5/+54 2008-03-07Small changesRené 'Necoro' Neumann1-1/+4 2008-03-07Updated shm module to 1.2René 'Necoro' Neumann1-8/+21 2008-03-07Update TODORené 'Necoro' Neumann1-3/+1 2008-03-07hmm ... yesRené 'Necoro' Neumann1-1/+1 2008-03-06Used better exceptions for configuration parserRené 'Necoro' Neumann1-26/+114 2008-03-06Update translationRené 'Necoro' Neumann2-349/+393 2008-03-06Update createpot.shRené 'Necoro' Neumann1-3/+2 2008-03-06Use 'nofork' instead of 'nolistener'René 'Necoro' Neumann1-3/+3 2008-03-05Install glade files into template dir and not data dirRené 'Necoro' Neumann2-2/+1 2008-03-05Added dependency listRené 'Necoro' Neumann3-117/+237