public:
- void on_raise_pressed();
+ // void on_raise_pressed();
- void on_lower_pressed();
+ // void on_lower_pressed();
- void on_duplicate_pressed();
+ // void on_duplicate_pressed();
- void on_encapsulate_pressed();
+ // void on_encapsulate_pressed();
- void on_delete_pressed();
+ // void on_delete_pressed();
/*
-- ** -- P U B L I C M E T H O D S -----------------------------------------