|
|
704b97944d
|
Adjust to wxWidgets changes
|
2018-09-12 16:09:33 +02:00 |
|
|
|
1b11ccf4a2
|
Extend copyright year
|
2018-09-07 23:48:41 +02:00 |
|
|
|
c9e1657427
|
wxAuiManagerUpdatePerspectiveCaptions() extended to reset floating sizes of non-resizable panels to allow resize on GUI changes across different versions.
|
2017-07-12 14:13:09 +02:00 |
|
|
|
d80f24189d
|
wxAuiManagerUpdatePerspectiveCaptions() extended to reset best/min/max panel sizes to allow resize on GUI changes across different versions.
|
2017-06-01 19:58:16 +02:00 |
|
|
|
e353a2ed60
|
Copyright extended to 2017
|
2017-04-18 13:57:30 +02:00 |
|
|
|
7f31e51fb0
|
WIN1250 >> UTF-8
|
2016-11-01 06:55:13 +01:00 |
|
|
|
a7ea95bc9b
|
wxAuiManagerUpdatePerspectiveCaptions() issue with invalid output fixed
|
2016-10-24 10:30:19 +02:00 |
|
|
|
525f24674e
|
wxAuiManagerUpdatePerspectiveCaptions() update
|
2016-10-18 14:26:39 +02:00 |
|
|
|
636e7acc1b
|
wxAuiManagerUpdatePerspectiveCaptions() introduced; Version set to 1.5 (API level 15)
|
2016-10-18 12:35:47 +02:00 |
|
