… | |
… | |
98 | hash [0] = 1; // hash[0] != 0 indicates uninitialized data |
98 | hash [0] = 1; // hash[0] != 0 indicates uninitialized data |
99 | } |
99 | } |
100 | |
100 | |
101 | keyboard_manager::~keyboard_manager () |
101 | keyboard_manager::~keyboard_manager () |
102 | { |
102 | { |
103 | hash [0] = 2; |
|
|
104 | |
|
|
105 | for (unsigned int i = 0; i < keymap.size (); ++i) |
103 | for (unsigned int i = 0; i < keymap.size (); ++i) |
106 | { |
104 | { |
107 | free (keymap [i]->str); |
105 | free (keymap [i]->str); |
108 | delete keymap [i]; |
106 | delete keymap [i]; |
109 | keymap [i] = 0; |
|
|
110 | } |
107 | } |
111 | |
|
|
112 | keymap.clear (); |
|
|
113 | } |
108 | } |
114 | |
109 | |
115 | // a wrapper for register_translation that converts the input string |
110 | // a wrapper for register_translation that converts the input string |
116 | // to utf-8 and expands 'list' syntax. |
111 | // to utf-8 and expands 'list' syntax. |
117 | void |
112 | void |