Tue, 28 Jun 2011 23:35:56 +0200 |
Adrien Vigneron |
browser side: CSS update, tabs & dialogs
|
Tue, 28 Jun 2011 14:23:12 +0200 |
Goffi |
browser side: bottomBorderWidget size fix (for webkit)
|
Tue, 28 Jun 2011 13:56:20 +0200 |
Goffi |
browser side: changed widgets' body min size to (200px, 150px)
|
Tue, 28 Jun 2011 13:53:00 +0200 |
Goffi |
browser side: signal management
|
Tue, 28 Jun 2011 13:49:08 +0200 |
Goffi |
browser side: changed borderWidgets' size to 10px
|
Tue, 28 Jun 2011 13:37:02 +0200 |
Goffi |
browser side: widgets' setting: height detection fix
|
Tue, 28 Jun 2011 13:31:05 +0200 |
Goffi |
browser side: removed in EmptyPanel
|
Tue, 28 Jun 2011 13:30:43 +0200 |
Goffi |
browser side: widgets' setting: mouse wheel can now be used to change values
|