diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-12-12 23:16:07 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-12-12 23:16:07 +0000 |
| commit | b6105fa10664bf3f37bb134b8214c296c93456fd (patch) | |
| tree | 1aba979db01baf166404f52294ab587877e52928 /src/option_types.hh | |
| parent | 8d7e16a8e61a1748a1ee390f633d24a5b3c84615 (diff) | |
Use markup for line-flags instead of a single face
Diffstat (limited to 'src/option_types.hh')
| -rw-r--r-- | src/option_types.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/option_types.hh b/src/option_types.hh index 73a8bcfb..0330a7e9 100644 --- a/src/option_types.hh +++ b/src/option_types.hh @@ -253,7 +253,8 @@ inline void option_from_string(StringView str, TimestampedList<T>& opt) { auto it = find(str, ':'); opt.timestamp = str_to_int({str.begin(), it}); - option_from_string({it+1, str.end()}, opt.list); + if (it != str.end()) + option_from_string({it+1, str.end()}, opt.list); } template<typename T> |