2c7cb0e9d4
The first crash occurs when trying to parse the ID of a workspace as an uint, since named workspaces has negative IDs. This is fixed by using ints for workspace IDs instead of uints. The second crash occurs when converting a workspace name that isn't a number to an integer. This is fixed by wrapping std::stoi in a try block and only sorting by number, when both names can successfully be converted to integers. |
||
|---|---|---|
| .. | ||
| backend.hpp | ||
| language.hpp | ||
| window.hpp | ||