# HG changeset patch
# User Pavel Jan���k <Pavel@Janik.cz>
# Date 1019515627 0
# Node ID 06754245370ac5d6e4816f44746b5e0f608b86a9
# Parent  c7134e583184ea8df31d4b958682799509fef719
Remove unused global variable `minibuf_prompt_pixel_width'.

diff -r c7134e583184 -r 06754245370a src/xdisp.c
--- a/src/xdisp.c	Mon Apr 22 22:45:12 2002 +0000
+++ b/src/xdisp.c	Mon Apr 22 22:47:07 2002 +0000
@@ -428,7 +428,6 @@
    of the line that contains the prompt.  */
 
 int minibuf_prompt_width;
-int minibuf_prompt_pixel_width;
 
 /* This is the window where the echo area message was displayed.  It
    is always a mini-buffer window, but it may not be the same window