diff m_option.c @ 36884:98568083fb1d

Render the full height of the image as calculated. The X11/GTK GUI does so as well. In particular, there must not be code for a special handling of a specific skin - a handling which seems to be obsolete meanwhile anyway.
author ib
date Fri, 07 Mar 2014 13:58:14 +0000
parents 97446d4850cc
children
line wrap: on
line diff