diff options
author | Juanma Barranquero <[email protected]> | 2010-09-30 02:09:04 +0200 |
---|---|---|
committer | Juanma Barranquero <[email protected]> | 2010-09-30 02:09:04 +0200 |
commit | 1becef93b4ab54202d07ffd5cd6b364b300d23a2 (patch) | |
tree | a09914fe2d82bc663c613567545e672ff3a6fbd9 | |
parent | 6b0f7311f16646e0de2045b2410e20921901c616 (diff) |
src/w32console.c (vga_stdcolor_name): Remove unused function.
-rw-r--r-- | src/ChangeLog | 5 | ||||
-rw-r--r-- | src/w32console.c | 22 |
2 files changed, 5 insertions, 22 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index de4ba68bdc..ba21c2a411 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2010-09-30 Juanma Barranquero <[email protected]> + + * w32console.c (vga_stdcolor_name): Remove unused function; + presumed dead after 2007-11-30T13:57:[email protected]. + 2010-09-29 Lars Magne Ingebrigtsen <[email protected]> * gnutls.c (emacs_gnutls_handshake): Made into internal function. diff --git a/src/w32console.c b/src/w32console.c index 26fa544d67..c39a65f59f 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) { |