On Tue, Jun 07, 2005 at 03:30:17PM +0200, Georg Baum wrote: > I set it to false because it seemed that this was wanted, but it is not > needed. We can of course decide that -x wants a gui. The problem is that > there are some cases where -x needs a gui and others where it does not. > Does it hurt to use a gui even if none is needed? Then we could revert that > part of the change, the bug fix was at another place.
What about an explicit '--no-gui' command line option? Andre'