some minor sizing tweaks on text boxes on windows

This commit is contained in:
Adam D. Ruppe 2023-11-29 16:35:10 -05:00
parent 6bbc91f90b
commit 6d1080b58d
1 changed files with 7 additions and 1 deletions

View File

@ -9616,6 +9616,10 @@ class Labeled(T) : Widget {
override int flexBasisWidth() { override int flexBasisWidth() {
return widthThatWouldFitChildLabels(outerParent); return widthThatWouldFitChildLabels(outerParent);
} }
/+
override int widthShrinkiness() { return 0; }
override int widthStretchiness() { return 1; }
+/
override int paddingRight() { return 6; } override int paddingRight() { return 6; }
override int paddingLeft() { return 9; } override int paddingLeft() { return 9; }
@ -9636,6 +9640,7 @@ class Labeled(T) : Widget {
T lineEdit; /// T lineEdit; ///
override int flexBasisWidth() { return 250; } override int flexBasisWidth() { return 250; }
override int widthShrinkiness() { return 1; }
override int minHeight() { override int minHeight() {
return this.children[0].minHeight; return this.children[0].minHeight;
@ -12643,6 +12648,7 @@ abstract class EditableTextWidget : EditableTextWidgetParent {
override int minWidth() { return scaleWithDpi(16); } override int minWidth() { return scaleWithDpi(16); }
override int widthStretchiness() { return 7; } override int widthStretchiness() { return 7; }
override int widthShrinkiness() { return 1; }
version(use_new_text_system) version(use_new_text_system)
override int maxHeight() { return tdh.maxHeight; } override int maxHeight() { return tdh.maxHeight; }
@ -13082,7 +13088,7 @@ class LineEdit : EditableTextWidget {
} }
version(win32_widgets) { version(win32_widgets) {
mixin Padding!q{2}; mixin Padding!q{0};
override int minHeight() { return borderBoxForContentBox(Rectangle(Point(0, 0), Size(0, defaultLineHeight))).height; } override int minHeight() { return borderBoxForContentBox(Rectangle(Point(0, 0), Size(0, defaultLineHeight))).height; }
override int maxHeight() { return minHeight; } override int maxHeight() { return minHeight; }
} }