| 734 | }; |
| 735 | |
| 736 | static void genericgui_deselect_fn(Widget& widget) { |
| 737 | if ( widget.isSelected() ) |
| 738 | { |
| 739 | if ( !inputs.getVirtualMouse(widget.getOwner())->draw_cursor ) |
| 740 | { |
| 741 | widget.deselect(); |
| 742 | } |
| 743 | } |
| 744 | } |
| 745 | |
| 746 | /*------------------------------------------------------------------------------- |
| 747 |
nothing calls this directly
no test coverage detected