diff options
Diffstat (limited to 'main/src/ui')
| -rw-r--r-- | main/src/ui/util/helper.vala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/main/src/ui/util/helper.vala b/main/src/ui/util/helper.vala index 58614bb8..ecf0ab25 100644 --- a/main/src/ui/util/helper.vala +++ b/main/src/ui/util/helper.vala @@ -419,7 +419,8 @@ public string summarize_whitespaces_to_space(string s) { try { return (/\s+/).replace_literal(s, -1, 0, " "); } catch (RegexError e) { - assert_not_reached(); + critical("RegexError when summarizing whitespaces in '%s': %s", s, e.message); + return s; } } |