#10 Change tinting color with escape seq.

[Daniel Tschan]

This patch allows you to change the background tinting
color with an escape sequence. The syntax of the escape
sequence is as follows: ESC ] 51;color BEL
color can take the same values as the -tint option.
Example:
echo -ne "\033]51;darkblue\007"
The patch only works with true tinting!

I use this to change the tinting color when login to a
server by adding the following line to the .bashrc file
on the server: export
PROMPT_COMMAND="$PROMPT_COMMAND;echo -ne
\"\033]51;darkblue\007\"". You can add a similar
command to the local .bashrc file to have the color
changed back after logout.

[Daniel Tschan]

[Göran Weinholt]

Logged In: YES
user_id=51181

I think it would be better to use Eterm's escape code
instead of using up 51 for this. Eterm apparently uses ESC ]
6 ; 2 ; mask BEL.
I'm working on implementing more of these OSC sequences, and
hopefully there will be no problems implementing these Eterm
codes as well.