diff options
| author | Sebastian Geerken <devnull@localhost> | 2014-07-18 23:25:17 +0200 |
|---|---|---|
| committer | Sebastian Geerken <devnull@localhost> | 2014-07-18 23:25:17 +0200 |
| commit | 738c0a53692efc77a6888a2f683c2481ca844628 (patch) | |
| tree | 8faef1cb0e1d1d9589c35cb1ac71cbea2da4ac9a /doc | |
| parent | 9d9b0c76a3b04a8ea5971e9d9cc8c9cd790b8b49 (diff) | |
New dillorc option 'adjust_min_width'. Also fixed bug in textblock extremes calculation.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/dw-grows.doc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/dw-grows.doc b/doc/dw-grows.doc index ddaa926b..79262fab 100644 --- a/doc/dw-grows.doc +++ b/doc/dw-grows.doc @@ -107,6 +107,14 @@ dw::core::Widget::correctExtremes, respectively, is called). *Not* honouring the CSS size specification in all cases could improve readability in some cases, so this could depend on a user preference. +**Update:** There is now a dillorc option <tt>adjust_min_width</tt>, +which is implemented for widths, but not heights (since it is based on +width extremes, but there are currently no height extremes). + +Another problem is that in most cases, there is no clippping, so that +contents may exceed the allocation of the widget, but redrawing is not +necessarily triggered. + **Percentage values for margins and paddings, as well as negative margins** are interesting applications, but have not been considered yet. For negative margins, a new attribute |