[w3m-dev-en 00019] mouse_end()?

From: w3m-dev-en@mips.rhein-neckar.de
Date: Fri Jan 21 2000 - 15:58:55 CST

In what contexts is mouse_end() called?

Is it only used to shut down mouse operations before exiting the
program, or are there instances where mouse ops are temporarily
disabled during the normal course of the program? 

-- 
Christian "naddy" Weisgerber                  naddy@mips.rhein-neckar.de

This archive was generated by hypermail 2b29 : Wed Jul 19 2000 - 10:30:43 CDT