]>
Commit | Line | Data |
---|---|---|
99890e04 ER |
1 | # TERM=screen.linux background detection, Gentoo bug 83416. |
2 | Index: src/option.c | |
3 | =================================================================== | |
4 | --- src/option.c (revision 2) | |
5 | +++ src/option.c (revision 3) | |
6 | @@ -3109,11 +3109,15 @@ | |
7 | /* | |
8 | * If 'background' wasn't set by the user, try guessing the value, | |
9 | * depending on the terminal name. Only need to check for terminals | |
10 | - * with a dark background, that can handle color. Only "linux" | |
11 | - * console at the moment. | |
12 | + * with a dark background, that can handle color. We recognise: | |
13 | + * * 'linux' -- linux console | |
14 | + * * 'screen.linux' -- linux console, with screen | |
15 | */ | |
16 | idx4 = findoption((char_u *)"bg"); | |
17 | - if (!(options[idx4].flags & P_WAS_SET) && STRCMP(T_NAME, "linux") == 0) | |
18 | + if (!(options[idx4].flags & P_WAS_SET) && ( | |
19 | + (STRCMP(T_NAME, "linux") == 0) || | |
20 | + (STRCMP(T_NAME, "screen.linux") == 0) | |
21 | + )) | |
22 | { | |
23 | set_string_option_direct(NULL, idx4, (char_u *)"dark", OPT_FREE); | |
24 | /* don't mark it as set, when starting the GUI it may be changed |