language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-02 14:51:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5

Rename resize-border => resize-border-width

Browse source
This commit is contained in:
Olivier Goffart 2024-07-05 11:57:45 +02:00
parent 6b1c02be94
commit 7c93c7438b
5 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/reference/src/language/builtins/elements.md
View file

@ -882,5 +882,5 @@ or smaller. The initial width can be controlled with the `preferred-width` prope
- **`default-font-weight`** (_in_ _int_): The font weight to use as default in text elements inside this window, that don't have their `font-weight` property set. The values range from 100 (lightest) to 900 (thickest). 400 is the normal weight.
- **`icon`** (_in_ _image_): The window icon shown in the title bar or the task bar on window managers supporting it.
- **`no-frame`** (_in_ _bool_): Whether the window should be borderless/frameless or not.
- **`resize-border`** (_in_ _length_): Size of the resize border in borderless/frameless windows (winit only for now).
- **`resize-border-width`** (_in_ _length_): Size of the resize border in borderless/frameless windows (winit only for now).
- **`title`** (_in_ _string_): The window title that is shown in the title bar.