@@ -75,7 +75,7 @@ local WINDOW_POSITION = miniwin.pos_top_right
75
75
76
76
-- colours
77
77
local WINDOW_BACKGROUND_COLOUR = "black"
78
- local WINDOW_TITLE_COLOUR = "white "
78
+ local WINDOW_TITLE_COLOUR = "black "
79
79
local WINDOW_TITLE_BACKGROUND = "darkgoldenrod"
80
80
81
81
local NOTE_COLOUR = "Cyan"
@@ -130,10 +130,13 @@ local function redraw_all ()
130
130
WindowRectOp (win, miniwin.rect_fill, 0, 0, 0, 0, ColourNameToRGB (WINDOW_BACKGROUND_COLOUR))
131
131
132
132
-- draw drag bar rectangle
133
- WindowRectOp (win, miniwin.rect_fill, 0, 0, 0, font_height, ColourNameToRGB (WINDOW_TITLE_BACKGROUND))
134
-
133
+ WindowRectOp (win, miniwin.rect_fill, 0, 0, 0, font_height + 2, ColourNameToRGB (WINDOW_TITLE_BACKGROUND))
134
+
135
+ -- draw border
136
+ check (WindowRectOp (win, miniwin.rect_draw_edge, 0, 0, 0, 0, miniwin.rect_edge_raised, miniwin.rect_edge_at_all))
137
+
135
138
local sz = WindowTextWidth (win, "fb", title)
136
- WindowText (win, "fb", title, (window_width - sz) / 2, 0 , window_width - TEXT_INSET, 0,
139
+ WindowText (win, "fb", title, (window_width - sz) / 2, 1 , window_width - TEXT_INSET, 0,
137
140
ColourNameToRGB (WINDOW_TITLE_COLOUR))
138
141
139
142
-- display all lines
@@ -293,7 +296,7 @@ WindowCreate (win,
293
296
0)
294
297
295
298
-- add the drag handler so they can move the window around
296
- movewindow.add_drag_handler (win, 0, 0, 0, font_height)
299
+ movewindow.add_drag_handler (win, 0, 0, 0, font_height + 2 )
297
300
298
301
fonts = utils.getfontfamilies ()
299
302
0 commit comments