Use a better shadow type on pluginwindow's "Description" frame.

This makes it look the same as page name frame on top of
the preference dialog.

diff --git a/src/gtk/pluginwindow.c b/src/gtk/pluginwindow.c
index 87acdd802b5e01c7115f0b2a9f53c682d66fd0ab..b3e57fd9e063a6ccea9a3053cb755a9848c26168 100644 (file)
--- a/src/gtk/pluginwindow.c
+++ b/src/gtk/pluginwindow.c
@@ -344,6 +344,7 @@ void pluginwindow_create()
        gtk_box_pack_start(GTK_BOX(hbox2), vbox2, TRUE, TRUE, 0);
 
        frame2 = gtk_frame_new(NULL);
+       gtk_frame_set_shadow_type(GTK_FRAME(frame2), GTK_SHADOW_OUT);
        gtk_widget_show(frame2);
        gtk_box_pack_start(GTK_BOX(vbox2), frame2, FALSE, TRUE, 0);