Back to index

texmacs  1.0.7.15
simple_wk_widget.hpp
Go to the documentation of this file.
00001 
00002 /******************************************************************************
00003 * MODULE     : simple_wk_widget.hpp
00004 * DESCRIPTION: Simple wk_widgets for customization later on
00005 * COPYRIGHT  : (C) 2007  Joris van der Hoeven
00006 *******************************************************************************
00007 * This software falls under the GNU general public license version 3 or later.
00008 * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
00009 * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
00010 ******************************************************************************/
00011 
00012 #ifndef SIMPLE_WK_WIDGET_H
00013 #define SIMPLE_WK_WIDGET_H
00014 #include "Widkit/attribute_widget.hpp"
00015 
00016 class attribute_widget_rep;
00017 class simple_widget_rep: public attribute_widget_rep {
00018 public:
00019   simple_widget_rep ();
00020 
00021   virtual void handle_get_size_hint (SI& w, SI& h);
00022   virtual void handle_notify_resize (SI w, SI h);
00023   virtual void handle_keypress (string key, time_t t);
00024   virtual void handle_keyboard_focus (bool has_focus, time_t t);
00025   virtual void handle_mouse (string kind, SI x, SI y, int mods, time_t t);
00026   virtual void handle_set_shrinking_factor (int sf);
00027   virtual void handle_clear (SI x1, SI y1, SI x2, SI y2);
00028   virtual void handle_repaint (SI x1, SI y1, SI x2, SI y2);
00029 
00030   void handle_get_size (get_size_event ev);
00031   void handle_attach_window (attach_window_event ev);
00032   void handle_resize (resize_event ev);
00033   void handle_keypress (keypress_event ev);
00034   void handle_keyboard_focus (keyboard_focus_event ev);
00035   void handle_mouse (mouse_event ev);
00036   void handle_set_integer (set_integer_event ev);
00037   void handle_clear (clear_event ev);
00038   void handle_repaint (repaint_event ev);
00039   void handle_set_coord2 (set_coord2_event ev);
00040   void handle_get_coord2 (get_coord2_event ev);
00041 };
00042 
00043 #endif // defined WK_WIDGET_H