equal
deleted
inserted
replaced
27 |
27 |
28 public: |
28 public: |
29 ///Constructor of EditWin creates the widgets shown in EditWin. |
29 ///Constructor of EditWin creates the widgets shown in EditWin. |
30 EditWin(const std::string& title, GraphDisplayerCanvas &); |
30 EditWin(const std::string& title, GraphDisplayerCanvas &); |
31 |
31 |
32 virtual bool close_if_escape_is_pressed(GdkEventKey*); |
32 virtual bool closeIfEscapeIsPressed(GdkEventKey*); |
33 |
33 |
34 ///Callback function in case of button pression. |
34 ///Callback function in case of button pression. |
35 ///It changes the actual tool ins editor's hand. |
35 ///It changes the actual tool ins editor's hand. |
36 void makeEditorialToolChanged(int); |
36 void makeEditorialToolChanged(int); |
37 |
37 |