aboutsummaryrefslogtreecommitdiff
path: root/src/toggle-box.vala
diff options
context:
space:
mode:
authorMike Gabriel <mike.gabriel@das-netzwerkteam.de>2023-05-07 20:53:09 +0200
committerMike Gabriel <mike.gabriel@das-netzwerkteam.de>2023-05-07 20:53:09 +0200
commit7004a8b66768d6d8f9b358fc6960dab9424514ad (patch)
tree1043bc53c1bb25d386d7ebd59bb9637aa50f204c /src/toggle-box.vala
parent3c44cdf781d4fcb55b4e0c95043f172f218baaa7 (diff)
parentbfb99d8737fd6c62fa24c6980a4d916008de17c4 (diff)
downloadarctica-greeter-7004a8b66768d6d8f9b358fc6960dab9424514ad.tar.gz
arctica-greeter-7004a8b66768d6d8f9b358fc6960dab9424514ad.tar.bz2
arctica-greeter-7004a8b66768d6d8f9b358fc6960dab9424514ad.zip
Merge branch 'tari01-pr/dbus-server'
Attributes GH PR #46: https://github.com/ArcticaProject/arctica-greeter/pull/46
Diffstat (limited to 'src/toggle-box.vala')
-rw-r--r--src/toggle-box.vala14
1 files changed, 13 insertions, 1 deletions
diff --git a/src/toggle-box.vala b/src/toggle-box.vala
index 0c6bf57..12072b1 100644
--- a/src/toggle-box.vala
+++ b/src/toggle-box.vala
@@ -2,6 +2,7 @@
*
* Copyright (C) 2012 Canonical Ltd
* Copyright (C) 2015,2017 Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
+ * Copyright (C) 2023 Robert Tari
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 3 as
@@ -17,6 +18,7 @@
*
* Authors: Michael Terry <michael.terry@canonical.com>
* Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
+ * Robert Tari <robert@tari.in>
*/
public class ToggleBox : Gtk.Box
@@ -72,7 +74,17 @@ public class ToggleBox : Gtk.Box
}
/* Split font family and size via regular expression. */
- Regex font_regexp = new Regex ("^([[:blank:]]*)(?<font_family>[ a-zA-Z0-9]+) (?<font_size>[0-9]+)([[:blank:]]*)$");
+ Regex font_regexp = null;
+
+ try
+ {
+ font_regexp = new Regex ("^([[:blank:]]*)(?<font_family>[ a-zA-Z0-9]+) (?<font_size>[0-9]+)([[:blank:]]*)$");
+ }
+ catch (GLib.RegexError pError)
+ {
+ error ("Panic: Failed constructing RegEx: %s", pError.message);
+ }
+
MatchInfo font_info;
if (font_regexp.match(font, 0, out font_info)) {
font_family = font_info.fetch_named("font_family");