diff options
| author | nyamatongwe <devnull@localhost> | 2003-04-03 12:34:05 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2003-04-03 12:34:05 +0000 |
| commit | 3d0117d9b355477ac4054d5a0a91772ab89a9e96 (patch) | |
| tree | 0cfa2be9e2e8e5d4facfac54c62da3d91a31d7bc /gtk/PlatGTK.cxx | |
| parent | e22bcdbe06d78ab811ebc5a1623001133c10ea59 (diff) | |
| download | scintilla-mirror-3d0117d9b355477ac4054d5a0a91772ab89a9e96.tar.gz | |
CallTip can display up and down arrows and clicks are reported to
container.
Calltip can be replaced while visible rather than needing a cancel and
recreation to minimize flashing.
Diffstat (limited to 'gtk/PlatGTK.cxx')
| -rw-r--r-- | gtk/PlatGTK.cxx | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index b8af29fbf..016e1b1d2 100644 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -1664,11 +1664,13 @@ void ListBoxX::SetFont(Font &scint_font) { #else GtkStyle *styleCurrent = gtk_widget_get_style(GTK_WIDGET(PWidget(list))); GdkFont *fontCurrent = gtk_style_get_font(styleCurrent); - if (!gdk_font_equal(fontCurrent, PFont(scint_font)->pfont)) { - GtkStyle *styleNew = gtk_style_copy(styleCurrent); - gtk_style_set_font(styleNew, PFont(scint_font)->pfont); - gtk_widget_set_style(GTK_WIDGET(PWidget(list)), styleNew); - gtk_style_unref(styleCurrent); + if (PFont(scint_font)->pfont) { + if (!gdk_font_equal(fontCurrent, PFont(scint_font)->pfont)) { + GtkStyle *styleNew = gtk_style_copy(styleCurrent); + gtk_style_set_font(styleNew, PFont(scint_font)->pfont); + gtk_widget_set_style(GTK_WIDGET(PWidget(list)), styleNew); + gtk_style_unref(styleCurrent); + } } #endif } |
