branch | gui |
changeset 104 | 623ae8ed0877 |
parent 103 | 3a263e57e1d9 |
child 106 | 853dd852abc7 |
18:b36159e84549 | 19:aaa8397b2a68 |
---|---|
24 int active_tool; |
24 int active_tool; |
25 |
25 |
26 int active_tab; |
26 int active_tab; |
27 std::vector<NoteBookTab *> tabs; |
27 std::vector<NoteBookTab *> tabs; |
28 std::vector<std::string> tabnames; |
28 std::vector<std::string> tabnames; |
29 |
|
30 std::map<std::string, int> strinst; |
|
29 |
31 |
30 std::set< AlgoWin* > aws; |
32 std::set< AlgoWin* > aws; |
31 |
33 |
32 public: |
34 public: |
33 |
35 |