ports/mc
ports/mc
1
1
Форкнуть 0
Код Релизы 2 Активность

more gui. touch ups... The status bar is a bit more sane now

Просмотр исходного кода
Этот коммит содержится в:
Jonathan Blandford 1998-12-11 02:47:09 +00:00
родитель 9022456a54
Коммит 940cdf53c3
4 изменённых файлов: 13 добавлений и 5 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

5
gnome/ChangeLog
Просмотреть файл

@ -1,3 +1,8 @@
1998-12-10 Jonathan Blandford <jrb@redhat.com>
* 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 <otaylor@redhat.com>
* gkey.c (delete_select_channel): Fixed list handling

2
gnome/gcliplabel.c
Просмотреть файл

@ -11,7 +11,7 @@
#include <string.h>
#include "gcliplabel.h"
#include <gtk/gtkcompat.h>
static void gtk_clip_label_class_init (GtkClipLabelClass *klass);
static void gtk_clip_label_size_request (GtkWidget *widget,

2
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 ();
}

9
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);