From: Kevin A. <al...@se...> - 2001-09-05 02:07:16
|
I changed both the Property Editor and resourceEditor so that they handle default sizes for the widgets. That means that if the width or height of a widget matches the default size as calculated by wxWindows/wxPython, then the Property Editor will report the value as -1. The resourceEditor will not generate a size attribute if the size is (-1, -1). Typically, text fields and buttons have a default height and that height changes as the font size changes, so if you change the font size, you'll probably want to select the widget, set the height of the (width, height) tuple to -1 and hit update. Let me know if you find any bugs or weird behavior. There is one bug for the resourceEditor that I don't really have a good solution for that is somewhat related. Basically, if you change the position or size of a widget via the Property Editor when a widget is selected and the sizing handles are showing, then the sizing handles will not change position to match the widget. You'll also notice that as the selected component changes via the Property Editor, the sizing handles stay on the last widget clicked on. These are bugs we're just going to have to live with for a while. ka |