diff Makefile @ 33477:49d9967970c0

Add option '-idle' to the GUI configuration file. Also, add a check button for it to the preferences menu.
author ib
date Mon, 06 Jun 2011 14:08:18 +0000
parents 2672587086ad
children 4f940d7917f0
line wrap: on
line diff