comparison src/option.c @ 179:7fd70926e2e1 v7.0055

updated for version 7.0055
author vimboss
date Fri, 04 Mar 2005 23:39:37 +0000
parents 141a8ad5e2b3
children a1f18bd133d6
comparison
equal deleted inserted replaced
178:4d53c2a2af94 179:7fd70926e2e1
3147 * If 'background' wasn't set by the user, try guessing the value, 3147 * If 'background' wasn't set by the user, try guessing the value,
3148 * depending on the terminal name. Only need to check for terminals 3148 * depending on the terminal name. Only need to check for terminals
3149 * with a dark background, that can handle color. Recognized are: 3149 * with a dark background, that can handle color. Recognized are:
3150 * "linux" Linux console 3150 * "linux" Linux console
3151 * "screen.linux" Linux console with screen 3151 * "screen.linux" Linux console with screen
3152 * "cygwin" Cygwin shell
3152 */ 3153 */
3153 idx = findoption((char_u *)"bg"); 3154 idx = findoption((char_u *)"bg");
3154 if (!(options[idx].flags & P_WAS_SET) 3155 if (!(options[idx].flags & P_WAS_SET)
3155 && (STRCMP(T_NAME, "linux") == 0 3156 && (STRCMP(T_NAME, "linux") == 0
3156 || STRCMP(T_NAME, "screen.linux") == 0)) 3157 || STRCMP(T_NAME, "screen.linux") == 0
3158 || STRCMP(T_NAME, "cygwin") == 0))
3157 { 3159 {
3158 set_string_option_direct(NULL, idx, (char_u *)"dark", OPT_FREE); 3160 set_string_option_direct(NULL, idx, (char_u *)"dark", OPT_FREE);
3159 /* don't mark it as set, when starting the GUI it may be changed 3161 /* don't mark it as set, when starting the GUI it may be changed
3160 * again */ 3162 * again */
3161 options[idx].flags &= ~P_WAS_SET; 3163 options[idx].flags &= ~P_WAS_SET;