diff options
author | Juanma Barranquero <lekktu@gmail.com> | 2010-09-30 02:09:04 +0200 |
---|---|---|
committer | Juanma Barranquero <lekktu@gmail.com> | 2010-09-30 02:09:04 +0200 |
commit | 1becef93b4ab54202d07ffd5cd6b364b300d23a2 (patch) | |
tree | a09914fe2d82bc663c613567545e672ff3a6fbd9 /src/w32console.c | |
parent | 6b0f7311f16646e0de2045b2410e20921901c616 (diff) | |
download | emacs-1becef93b4ab54202d07ffd5cd6b364b300d23a2.tar.gz |
src/w32console.c (vga_stdcolor_name): Remove unused function.
Diffstat (limited to 'src/w32console.c')
-rw-r--r-- | src/w32console.c | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/w32console.c b/src/w32console.c index 26fa544d670..c39a65f59ff 100644 --- a/src/w32console.c +++ b/src/w32console.c @@ -585,28 +585,6 @@ w32_face_attributes (struct frame *f, int face_id) return char_attr; } - - -/* Given a color index, return its standard name. */ -Lisp_Object -vga_stdcolor_name (int idx) -{ - /* Standard VGA colors, in the order of their standard numbering - in the default VGA palette. */ - static char *vga_colors[16] = { - "black", "blue", "green", "cyan", "red", "magenta", "brown", - "lightgray", "darkgray", "lightblue", "lightgreen", "lightcyan", - "lightred", "lightmagenta", "yellow", "white" - }; - - extern Lisp_Object Qunspecified; - - if (idx >= 0 && idx < sizeof (vga_colors) / sizeof (vga_colors[0])) - return build_string (vga_colors[idx]); - else - return Qunspecified; /* meaning the default */ -} - void initialize_w32_display (struct terminal *term) { |