From c268e3742b5ac5b59160f889640ae77f5b4e2c79 Mon Sep 17 00:00:00 2001
From: Diego Cortassa <diego@cortassa.net>
Date: Fri, 18 Jun 2021 18:29:59 +0200
Subject: [PATCH] Use font awesome for ContentBoxWdg() icons (solution to issue
 #1653)

---
 src/tactic/ui/container/content_wdg.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/ui/container/content_wdg.py b/src/tactic/ui/container/content_wdg.py
index 125a0b0b3e..58de280772 100644
--- a/src/tactic/ui/container/content_wdg.py
+++ b/src/tactic/ui/container/content_wdg.py
@@ -216,7 +216,7 @@ def get_title_wdg(self):
         if show_gear in [True, 'true']:
             icon_div = DivWdg()
             title_div.add(icon_div)
-            icon = IconWdg(icon="G_SETTINGS", width=16)
+            icon = IconWdg(icon="FA_COG", width=16)
             icon_div.add(icon)
             icon_div.add_styles('''float: right; height: 25px; margin-top: 0px; padding: 0px 8px 0px 5px;''')