166 reputation
18
bio website borisbukh.org
location
age
visits member for 2 years, 7 months
seen 2 days ago

Jul
9
awarded  Popular Question
Jun
18
awarded  Caucus
Jun
18
awarded  Constituent
Dec
23
awarded  Supporter
Jan
17
awarded  Self-Learner
Dec
12
comment GNU screen color and pine
Thanks for your kind help. I think I will just ignore the issue --- everything appears to work for me with the hack I have in place. It is not worth my time to pursue it.
Dec
12
comment GNU screen color and pine
Thanks! I tried reading the docs, but even figuring out which docs to read is not always easy.
Dec
12
awarded  Scholar
Dec
12
accepted GNU screen color and pine
Dec
12
revised GNU screen color and pine
The problem was not completely solved. Now I think it is.
Dec
11
awarded  Teacher
Dec
11
answered GNU screen color and pine
Dec
11
awarded  Editor
Dec
11
revised GNU screen color and pine
Update: What I tried to resolve the problem
Dec
11
comment GNU screen color and pine
Nothing changes. Also, I tried Ctrl+L in pine (which is supposed to redraw the screen), but there is no visible effect.
Dec
10
awarded  Student
Dec
9
asked GNU screen color and pine