Il giorno mer, 14/01/2009 alle 23.00 +0200, Markku Vire ha scritto:
Hi,
0On Wed, 2009-01-14 at 17:00 +0100, Pietro Battiston wrote:
Forcibly clipping window size would anyway only be band-aid to the
real problem in the application, which can be:
...
- it doesn't constrain the
Il giorno gio, 15/01/2009 alle 08.55 +0200, Kalle Vahlman ha scritto:
So while setting sensible minimum sizes and constraining maximum by
ellipsation or scrolled container for your *widgets* makes totally
sense (to ensure the application will be usable on the first run),
taking over the window
Hi,
2009/1/14 Pietro Battiston too...@email.it:
the documentation for gtk_widget_size_request () says:
Also remember that the size request is not necessarily the size a
widget will actually be allocated.
While there may be a lot of reasons why a widget doesn't get the area
requested, I
Il giorno gio, 15/01/2009 alle 16.41 -0500, Havoc Pennington ha scritto:
Hi,
On Thu, Jan 15, 2009 at 10:04 AM, Pietro Battiston too...@email.it wrote:
I already considered my doubt as answered (see below), but I disagree
with what you say: if you call size_request minimum size, why don't
Hello,
the documentation for gtk_widget_size_request () says:
Also remember that the size request is not necessarily the size a
widget will actually be allocated.
While there may be a lot of reasons why a widget doesn't get the area
requested, I imagine(d) the basic one would be because there
Hi,
Quoting Pietro Battiston too...@email.it:
the documentation for gtk_widget_size_request () says:
Also remember that the size request is not necessarily the size a
widget will actually be allocated.
While there may be a lot of reasons why a widget doesn't get the area
requested, I
Il giorno mer, 14/01/2009 alle 15.19 +0200, markku.v...@iki.fi ha
scritto:
Hi,
Quoting Pietro Battiston too...@email.it:
the documentation for gtk_widget_size_request () says:
Also remember that the size request is not necessarily the size a
widget will actually be allocated.
2009/1/14 Pietro Battiston too...@email.it:
Hello,
the documentation for gtk_widget_size_request () says:
Also remember that the size request is not necessarily the size a
widget will actually be allocated.
While there may be a lot of reasons why a widget doesn't get the area
requested, I
Il giorno mer, 14/01/2009 alle 17.20 +0200, Kalle Vahlman ha scritto:
2009/1/14 Pietro Battiston too...@email.it:
I would have filed a bug (asking for windows to clip to screen when
their their size_request is too big*), but it's obviously a major issue,
so obviously it can't be true that
Hi,
0On Wed, 2009-01-14 at 17:00 +0100, Pietro Battiston wrote:
Forcibly clipping window size would anyway only be band-aid to the
real problem in the application, which can be:
...
- it doesn't constrain the size of a dynamically resizing widget
I don't see how this is a problem;
2009/1/14 Pietro Battiston too...@email.it:
Il giorno mer, 14/01/2009 alle 17.20 +0200, Kalle Vahlman ha scritto:
2009/1/14 Pietro Battiston too...@email.it:
I would have filed a bug (asking for windows to clip to screen when
their their size_request is too big*), but it's obviously a major
11 matches
Mail list logo