Pietro Gagliardi
|
6c1bf7aabd
|
Big change: with the current event model, it's safe to call Area.RepaintAll() (and the future Area.Repaint()) from within AreaHandler.Key() and AreaHandler.Mouse(); get rid of the bool returns from each. The future Area.Repaint() is important; the bool returns repainted the whole Area, which may not be optimal.
|
2014-08-09 10:33:38 -04:00 |
Pietro Gagliardi
|
8ee7b2b809
|
Removed borders from Areas on the GTK+ backend.
|
2014-08-08 20:31:15 -04:00 |
Pietro Gagliardi
|
03f2873f68
|
Set vertical alignment of Labels next to Areas on GTK+.
|
2014-08-05 20:43:56 -04:00 |
Pietro Gagliardi
|
b46167f1e2
|
Fixed up the implementation of Area on GTK+ and the Area test. Seems to be fine, though for some reason holding down a mouse button doesn't generate a drag in GTK+ 3.10...
|
2014-08-05 00:34:24 -04:00 |
Pietro Gagliardi
|
28764445b9
|
Re-added Area on the GTK+ backend. Not yet working; need to reconnect signals.
|
2014-08-04 23:31:11 -04:00 |