@@ -253,6 +253,7 @@ public:
int res_to_index(int res);
std::string res_to_string(int res);
void crash_test();
void stacktrace();
void ui_save();
void ui_restore();
The note is not visible to the blocked user.