gnome terminal
- From: Timo Sirainen <aaaaaa sicom fi>
- To: gnome-list gnome org
- Subject: gnome terminal
- Date: Sat, 6 Feb 1999 23:54:31 +0200 (EET)
Finally this seems to work great (last tried half a year ago)! But some
complains anyway:
Window borders. Isn't it enough for WM to have borders? Removing
gtk_container_border_width() helped a lot, but with transparent
backgrounds it still had small black borders which were set by the zvt
widget. I managed to remove them too, but isn't there some way to make
borders transparent? That would be a lot better looking than those black
borders.
IMHO shaded transparent backgrouds look much better when setting contrast
to 150, that makes it look same as Eterm's --shade 50 option. Maybe some
options to change contrast and brightness?
After hiding menu bar, there's no way to get it back? Maybe showing a
popup menu with right mouse click?
And finally, my wheel mouse didn't work. Patch included.
--- /home/aaaaaa/cvs/gnome/gnome-libs/zvt/zvtterm.c Sat Feb 6 19:44:28 1999
+++ zvtterm.c Sat Feb 6 23:22:54 1999
@@ -91,6 +91,7 @@
static void zvt_term_fix_scrollbar (ZvtTerm *term);
static void vtx_unrender_selection (struct _vtx *vx);
static void zvt_term_scroll (ZvtTerm *term, int n);
+static void zvt_term_scroll_lines (ZvtTerm *term, int n);
/* transparent terminal prototypes */
@@ -1419,6 +1420,12 @@
gtk_selection_owner_set (widget,
GDK_SELECTION_PRIMARY,
event->time);
+ case 4:
+ zvt_term_scroll_lines (term, -5);
+ break;
+ case 5:
+ zvt_term_scroll_lines (term, 5);
+ break;
}
return FALSE;
@@ -1720,6 +1727,16 @@
MAX(new_value, term->adjustment->lower));
}
+static void
+zvt_term_scroll_lines (ZvtTerm *term, int n)
+{
+ n += term->adjustment->value;
+ gtk_adjustment_set_value (
+ term->adjustment,
+ n > 0 ? MIN(n, term->adjustment->upper- term->adjustment->page_size) :
+ MAX(n, term->adjustment->lower));
+}
+
/*
* Keyboard input callback
*/
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]