Searched refs:deinit_mouse (Results 1 – 3 of 3) sorted by relevance
1737 public void deinit_mouse(void) in deinit_mouse() 1823 deinit_mouse(); in deinit() 1837 deinit_mouse(); in deinit() 1727 public void deinit_mouse(void) deinit_mouse() function
881 deinit_mouse(); in opt_linenum_width()
16 public void deinit_mouse(void);