diff --git a/gnome/ChangeLog b/gnome/ChangeLog index fbe52689c..af8320bd7 100644 --- a/gnome/ChangeLog +++ b/gnome/ChangeLog @@ -1,3 +1,8 @@ +1998-12-10 Jonathan Blandford + + * gscreen.c (x_create_panel): made some small stylistic changes. + Also, removed the hint bar and consolidated the status bar. + Thu Dec 10 21:38:55 1998 Owen Taylor * gkey.c (delete_select_channel): Fixed list handling diff --git a/gnome/gcliplabel.c b/gnome/gcliplabel.c index 607f6c8f3..c32498656 100644 --- a/gnome/gcliplabel.c +++ b/gnome/gcliplabel.c @@ -11,7 +11,7 @@ #include #include "gcliplabel.h" - +#include static void gtk_clip_label_class_init (GtkClipLabelClass *klass); static void gtk_clip_label_size_request (GtkWidget *widget, diff --git a/gnome/glayout.c b/gnome/glayout.c index 2642f2565..8da848d29 100644 --- a/gnome/glayout.c +++ b/gnome/glayout.c @@ -176,7 +176,7 @@ layout_panel_gone (WPanel *panel) void set_hintbar (char *str) { - gtk_label_set (GTK_LABEL (current_panel_ptr->panel->status), str); + /*gtk_label_set (GTK_LABEL (current_panel_ptr->panel->status), str);*/ x_flush_events (); } diff --git a/gnome/gscreen.c b/gnome/gscreen.c index a4db1278c..8cfefdb84 100644 --- a/gnome/gscreen.c +++ b/gnome/gscreen.c @@ -1657,7 +1657,10 @@ panel_create_tree_view (WPanel *panel) GtkWidget *tree; tree = gtk_dtree_new (); - + gtk_ctree_set_line_style (GTK_CTREE (tree), GTK_CTREE_LINES_SOLID); + gtk_ctree_set_expander_style (GTK_CTREE (tree), GTK_CTREE_EXPANDER_SQUARE); + gtk_ctree_set_indent (GTK_CTREE (tree), 10); + gtk_signal_connect (GTK_OBJECT (tree), "directory_changed", GTK_SIGNAL_FUNC (panel_chdir), panel); @@ -1861,7 +1864,7 @@ x_create_panel (Dlg_head *h, widget_data parent, WPanel *panel) /* * ministatus */ - panel->ministatus = gtk_label_new (""); /* was a cliplabel */ + panel->ministatus = gtk_label_new (" "); /* was a cliplabel */ gtk_widget_set_usize (panel->ministatus, 0, -1); gtk_misc_set_alignment (GTK_MISC (panel->ministatus), 0.0, 0.0); gtk_misc_set_padding (GTK_MISC (panel->ministatus), 3, 0); @@ -1896,7 +1899,7 @@ x_create_panel (Dlg_head *h, widget_data parent, WPanel *panel) panel->status = gtk_label_new (""); /* used to be a cliplabel */ gtk_misc_set_alignment (GTK_MISC (panel->status), 0.0, 0.5); gtk_misc_set_padding (GTK_MISC (panel->status), 3, 0); - gtk_container_add (GTK_CONTAINER (frame), panel->status); + gtk_container_add (GTK_CONTAINER (frame), panel->ministatus); gtk_label_set_justify (GTK_LABEL (panel->status), GTK_JUSTIFY_LEFT); gtk_widget_show_all (frame);