[Eric] Indentation and shell/terminal font size
Henrik Pauli
henrik.pauli at gmail.com
Sat Jun 27 16:25:35 BST 2009
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)
More information about the Eric
mailing list