aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/lispref/display.texi4
-rw-r--r--etc/PROBLEMS4
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/lispref/display.texi b/doc/lispref/display.texi
index 4a895f74a5d..4de55fd3fb2 100644
--- a/doc/lispref/display.texi
+++ b/doc/lispref/display.texi
@@ -2282,8 +2282,8 @@ Draw a box with lines of width 1, in color @var{color}.
2282This way you can explicitly specify all aspects of the box. The value 2282This way you can explicitly specify all aspects of the box. The value
2283@var{width} specifies the width of the lines to draw; it defaults to 2283@var{width} specifies the width of the lines to draw; it defaults to
22841. A negative width @var{-n} means to draw a line of width @var{n} 22841. A negative width @var{-n} means to draw a line of width @var{n}
2285that occupies the space of the underlying text, thus avoiding any 2285whose top and bottom parts occupy the space of the underlying text,
2286increase in the character height or width. 2286thus avoiding any increase in the character height.
2287 2287
2288The value @var{color} specifies the color to draw with. The default is 2288The value @var{color} specifies the color to draw with. The default is
2289the foreground color of the face for simple boxes, and the background 2289the foreground color of the face for simple boxes, and the background
diff --git a/etc/PROBLEMS b/etc/PROBLEMS
index c650f1a7f9c..713e44fcef9 100644
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -2467,6 +2467,10 @@ middle button press. In such cases, setting the wheel press to
2467"scroll" sometimes works if you press the button twice. Trying a 2467"scroll" sometimes works if you press the button twice. Trying a
2468generic mouse driver might help. 2468generic mouse driver might help.
2469 2469
2470One particular situation where this happens is when you have
2471"Microsoft Intellipoint" installed, which runs the program
2472ipoint.exe. The fix is reportedly to uninstall this software.
2473
2470** Scrolling the mouse wheel on MS-Windows always scrolls the top window. 2474** Scrolling the mouse wheel on MS-Windows always scrolls the top window.
2471 2475
2472This is another common problem with mouse drivers. Instead of 2476This is another common problem with mouse drivers. Instead of