[Eric] Indentation and shell/terminal font size

[Henrik Pauli]

On Saturday 27 June 2009 17:11:11 you wrote:
> On Samstag, 27. Juni 2009, Henrik Pauli wrote:
> > Now that this thing works in my distro, here's what I found odd:
> >
> > I set indentation to tabsize=4 indentsize=4 usetabs.  Yet, tabs are 2
> > characters wide.  I do use a monospaced font so it shouldn't be a
> > confusion with variable width...  I remember this issue from back in the
> > days when I wrote ljKlient.
>
> The shell and the terminal are using the QScintilla highlighter setup like
> the editor. Did you configure these.

Sorry, the tabsize issue was in the editor, I forgot to emphasise that.  I 
don't care about tab size in the shell or the terminal.

> > Shell and terminal fonts look huge, apparently 10pt or so, regardless of
> > me setting it to 8pt (laptop screen estate is very scarce, afterall :))
>
> What and where did you set to 8pt (might be the same issue as above)

Settings/Editor/Style, Monospaced font, Use monospaced font as default

>
> > Also, I have some ANSI colour escape sequences in my PS1, which show up
> > in the terminal as ESC[32;01m etc. instead of colours, or getting
> > stripped. Not sure if this is a known issue.
>
> The eric4 terminal is not a full terminal emulation. That means, ANSI
> escape sequences are not supported. However, patches are welcome.

Stripping them might be a good idea:
s/\e\[[\d;]*[\w]//g;

unless I'm mistaken :)  (this is how I'd do it in Perl, not sure what I'd do 
in Python exactly, it's been a while)