Hello,

I recently found Paldo while taking a look at Vala (which is a great project!) and since I needed a fresh installation anyway, I decided to give it a try. So far I'm very positively surprised (and wondering why Paldo has gotten no big press yet :-)).

Just one thing seems off and that's the performance of gnome-terminal. Every time I type a letter, a cursor blinks on the left side of the line (it seems the cursor jumps back and forth). The input can also lag and when I paste some text, I can see every letter printed separately... I've never seen this behaviour before (my last recently used Distribution is Ubuntu).

Daniel

Hello Daniel,

The terminal performance problem is known, no real solution yet, though. It happens since paldo has updated to readline 5.1 and only if the bash prompt has been set to set the title of the terminal. You can disable setting the terminal title to work around the problem by removing the following if block from /etc/profile (or overriding it in ~/.bash_profile)

Code	[In neuem Fenster öffnen]
if [ "$TERM" = "xterm" -o "$TERM" = "xterm-color" ] ; then PS1="\[\033]0;\u@\h:\w\007\]$PS1" fi

That's much better, thanks.