enhancement: core/themes: Enclosing the title inside popup.

This is a follow-up commit from #849. Particularly popup border and title
styling is aimed in this commit.

Author: Ezio-Sarthak

zulipterminal/config/themes.py

@@ -43,9 +43,10 @@
     'edit_tag': 'standout',
     'edit_author': 'bold',
     'edit_time': 'bold',
+    'popup_border': 'standout',
+    'popup_title': 'bold',
 }
 
-
 # 256-color base names for default theme (bold values added below)
 DEF_base = dict(
     dark_red='#a00',
@@ -171,6 +172,10 @@
          None,             DEF['white'],              DEF['black']),
         ('muted',          'light blue',              'black',
          None,             DEF['light_blue'],         DEF['black']),
+        ('popup_title',    'black, bold',             'white',
+         None,             DEF['black:bold'],         DEF['white']),
+        ('popup_border',   'white',                   'black',
+         None,             DEF['white'],              DEF['black']),
     ],
     'gruvbox_dark': [
         # default colorscheme on 16 colors, gruvbox colorscheme
@@ -251,6 +256,10 @@
          None,             WHITE,             BLACK),
         ('muted',          'light blue',      'black',
          None,             LIGHTBLUE,         BLACK),
+        ('popup_title',    'black, bold',     'white',
+         None,             DEF['black:bold'], DEF['white']),
+        ('popup_border',   'white',           'black',
+         None,             DEF['white'],      DEF['black']),
     ],
     'zt_light': [
         (None,             'black',           'white'),
@@ -291,6 +300,8 @@
         ('edit_time',      'dark blue',       'white'),
         ('current_user',   'dark gray',       'white'),
         ('muted',          'dark gray',       'white'),
+        ('popup_title',    'white, bold',     'black'),
+        ('popup_border',   'black',           'white'),
     ],
     'zt_blue': [
         (None,             'black',           'light blue'),
@@ -331,6 +342,8 @@
         ('edit_time',      'dark blue',       'light blue'),
         ('current_user',   'light gray',      'light blue'),
         ('muted',          'light gray',      'light blue'),
+        ('popup_title',    'light blue, bold', 'white'),
+        ('popup_border',   'white',           'light blue'),
     ]
 }  # type: Dict[str, ThemeSpec]
 

zulipterminal/core.py

@@ -162,19 +162,22 @@ def maximum_popup_dimensions(self) -> Tuple[int, int]:
         return max_cols, max_rows
 
     def show_pop_up(self, to_show: Any) -> None:
-        double_lines = dict(tlcorner='╔', tline='═', trcorner='╗',
-                            rline='║', lline='║',
-                            blcorner='╚', bline='═', brcorner='╝')
+        border_lines = dict(tlcorner='▃', tline='▃', trcorner='▃',
+                            rline='▐', lline='▌',
+                            blcorner='▙', bline='▄', brcorner='▟')
+        text = urwid.Text(to_show.title, align='center')
         self.loop.widget = urwid.Overlay(
-            urwid.LineBox(to_show,
-                          to_show.title,
-                          **double_lines),
-            self.view,
-            align='center',
-            valign='middle',
-            # +2 to both of the following, due to LineBox
-            width=to_show.width + 2,
-            height=to_show.height + 2,
+                urwid.AttrMap(urwid.LineBox(urwid.Frame(
+                    header=urwid.BoxAdapter(urwid.AttrMap(
+                        urwid.Filler(text), 'popup_title'), height=1),
+                    body=to_show),
+                              **border_lines), 'popup_border'),
+                bottom_w=self.view,
+                align='center',
+                valign='middle',
+                # +2 to both of the following, due to LineBox
+                width=to_show.width + 2,
+                height=to_show.height + 2,
         )
 
     def exit_popup(self) -> None: