diff options
author | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-03-19 12:34:57 -0400 |
---|---|---|
committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-03-19 12:34:57 -0400 |
commit | 66cd64e293bd85bb8c24dbda78c00331879a8a5b (patch) | |
tree | 203de272a7b53f8f2f1eaa26dcfd9155037313d8 /src/textadept.c | |
parent | 2966c13bcf40297cd30706561341cb17b90b70b3 (diff) |
Fixed tab label display on Windows.
Diffstat (limited to 'src/textadept.c')
-rw-r--r-- | src/textadept.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/textadept.c b/src/textadept.c index 63f4b13a..7d6cd457 100644 --- a/src/textadept.c +++ b/src/textadept.c @@ -1325,6 +1325,7 @@ static int lbuf_property(lua_State *L) { lua_pushstring(L, gtk_notebook_get_tab_label_text(tabs, tab)); if (newindex) { GtkWidget *box = gtk_event_box_new(); + gtk_event_box_set_visible_window(GTK_EVENT_BOX(box), FALSE); // for WIN32 GtkWidget *label = gtk_label_new(luaL_checkstring(L, 3)); gtk_container_add(GTK_CONTAINER(box), label), gtk_widget_show(label); gtk_notebook_set_tab_label(tabs, tab, box); |