diff keymap/hardcoded_keys @ 1144:5fe3b8b3a612

Add a wrapper around system() call named runcmd() which allows easier debugging. Improve the code launching the help browser.
author zas_
date Sat, 15 Nov 2008 10:35:43 +0000
parents 113d8329cbd6
children
line wrap: on
line diff