[Gretl-devel] auto indent

[Allin Cottrell]

On Wed, 6 Feb 2008, Sven Schreiber wrote:

> Am 05.02.2008 12:20, Sven Schreiber schrieb:
> > Some small feedback about the new "smart" script editor:
> > 
> 
> now about the "comment out region" option (right-click):
> 
> It seems this is disabled when the selected region contains 
> comment lines, so it's not possible to comment out a part of the 
> code which has some explanations. It would be more consistent 
> IMHO if this could be enabled.

IMO, in this case the user should manually insert "/*" and 
"*/" .

Allin