Marco Pesenti Gritti
|
722b9d01e7
|
Add/use a frame widget invoker.
|
2007-08-29 17:01:37 +02:00 |
|
Marco Pesenti Gritti
|
de9e02b498
|
Fix several sizing bugs.
|
2007-08-17 16:18:57 +02:00 |
|
Marco Pesenti Gritti
|
ba8a731aa1
|
Add a border to the frame.
|
2007-08-16 16:46:21 +02:00 |
|
Marco Pesenti Gritti
|
72d66793a7
|
Fix all the units except icon scales.
|
2007-07-31 15:21:09 +02:00 |
|
Marco Pesenti Gritti
|
daa95aadd7
|
Place palettes at cursor for free views.
|
2007-07-18 16:59:47 +02:00 |
|
Eduardo Silva
|
3680dcdaa9
|
Push frameinvoker.py
|
2007-07-06 11:27:19 -04:00 |
|