[Lazarus] Source Editor enhancement mini-patch

[Martin Frb]

On 26/06/2014 13:41, Michael Van Canneyt wrote:
>
>
> 'By default' also means "it can be disabled" for example by 
> deinstalling it :)
>
> It would be just one more option in the bazillion other options 
> already at one's disposal.
> By including it by default, it also gets more exposure and can be 
> substantially improved.
True, well I am not objecting it, if any one wants to do that.

>
> A custom-drawn tab (while no doubt useful on other accounts) is more 
> limited in its possibilities,
> and is therefor (imho) the less preferable option...

It is a different solution. "limited" can be an advantage in that case