diff options
| author | Joakim Verona <joakim@verona.se> | 2011-07-04 17:10:15 +0200 |
|---|---|---|
| committer | Joakim Verona <joakim@verona.se> | 2011-07-04 17:10:15 +0200 |
| commit | 57be30e7ad69cc84761c269349da9da73598080c (patch) | |
| tree | a196ecc13a727dd007325d125c9514e79db14ac8 /src/emacsgtkfixed.c | |
| parent | d319e369a705c8a0901dbd9c6ab183ed61cf1ab7 (diff) | |
| download | emacs-57be30e7ad69cc84761c269349da9da73598080c.tar.gz | |
work on cliptop. this rev is worse in some regards than the previous, but its the first where cliptop works at all.
Diffstat (limited to 'src/emacsgtkfixed.c')
| -rw-r--r-- | src/emacsgtkfixed.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/emacsgtkfixed.c b/src/emacsgtkfixed.c index d07788f3193..61d7898ce44 100644 --- a/src/emacsgtkfixed.c +++ b/src/emacsgtkfixed.c @@ -57,8 +57,10 @@ void aloc_callback(GtkWidget* child, GtkWidget* fixed){ printf(" allocation modification for xw\n"); gtk_widget_get_allocation(child, &child_allocation); child_allocation.width = xv->clipx; - child_allocation.height = xv->clipy; + child_allocation.height = xv->clipy - xv->cliptop; gtk_widget_size_allocate (child, &child_allocation); + //TODO find a way to remove this fooble workaround + gtk_adjustment_set_value (gtk_viewport_get_vadjustment(GTK_VIEWPORT(xv->widgetwindow)), 1.0*xv->cliptop); } } |