Symbol: IsNumeric
src/add-ons/input_server/filters/shortcut_catcher/CommandActuators.cpp
1311
static bool IsNumeric(char c);
src/add-ons/input_server/filters/shortcut_catcher/CommandActuators.cpp
1333
if (IsNumeric(c))
src/add-ons/input_server/filters/shortcut_catcher/CommandActuators.cpp
1349
while (!IsNumeric(*pixel)) {