| changeset 1874 | 396831fa7012 |
| parent 1871 | 3905d347112c |
| child 1876 | 5ad84ad1b68f |
| 18:03798cd4c57b | 19:a699e9618765 |
|---|---|
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 |