gui/map_win.h
changeset 1524 587a823bcdd0
parent 1512 e54392395480
child 1586 1a8630f2e944
     1.1 --- a/gui/map_win.h	Wed Jun 29 12:52:20 2005 +0000
     1.2 +++ b/gui/map_win.h	Wed Jun 29 15:41:33 2005 +0000
     1.3 @@ -42,20 +42,20 @@
     1.4    ///which button was that and after that calls the
     1.5    ///appropriate function of the \ref GraphDisplayerCanvas
     1.6    ///to change the visible values of that attribute.
     1.7 -  virtual void e_combo_changed(int);
     1.8 +  virtual void eComboChanged(int);
     1.9    ///If a radiobutton is clicked, this function determines
    1.10    ///which button was that and after that calls the
    1.11    ///appropriate function of the \ref GraphDisplayerCanvas
    1.12    ///to change the visible values of that attribute.
    1.13 -  virtual void n_combo_changed(int);
    1.14 +  virtual void nComboChanged(int);
    1.15  
    1.16    ///This function is created to set the appropriate maps on the newly created node
    1.17 -  void update_node(Graph::Node);
    1.18 +  void updateNode(Graph::Node);
    1.19  
    1.20    ///This function is created to set the appropriate maps on the newly created edge
    1.21 -  void update_edge(Graph::Edge);
    1.22 +  void updateEdge(Graph::Edge);
    1.23  
    1.24 -  virtual bool close_if_escape_is_pressed(GdkEventKey*);
    1.25 +  virtual bool closeIfEscapeIsPressed(GdkEventKey*);
    1.26  };
    1.27  
    1.28  #endif //MAP_WIN_H