Re: [MiNT] Software IDE

[Jo Even Skarstein <joska@online.no>]

On Tue, 2013-12-10 at 23:14 +0100, Ole wrote:

>  Spotting line number at the left side is much faster compared to 
>  jumping to a specific line via
>  keyboard shortcut. At least when the line number is in range. 

But where do you get the line number from? My guess is some error
message. Wouldn't it me more comfortable to just double-click on the
error message in the log and jump directly to the correct line?

> It also helps in orientation.

Maybe... I find them annoying and turn them off if I can. A matter of
taste I guess.

Jo Even