devlog: widget styles
This commit is contained in:
parent
b4a9c754e0
commit
68325db6fc
2 changed files with 11 additions and 0 deletions
|
@ -15,6 +15,17 @@ them.
|
|||
You can [subscribe to this page via RSS]($link.page('devlog').alternative('rss')) and find more
|
||||
devlog entries in the [archive](/devlog/).
|
||||
|
||||
## [widget styles]($section.id("2025-08-14T16:33:39+02:00"))
|
||||
|
||||
[]($video.asset('2025-08-14_16-33-39.mp4').controls(true))
|
||||
|
||||
Added style variations for menu based widgets. You can switch the style of the currently widget with
|
||||
`alt+f9`. This is persisted automatically. To go along with this new visual polish there are a few
|
||||
other minor style changes, like for example icons in the filter input boxes in palettes. This helps
|
||||
to line up visually with the contents of the palette. These icons are also disabled when
|
||||
`show_fileicons = false` is set in the configuration.
|
||||
|
||||
|
||||
## [tab width commands]($section.id("2025-08-12T13:08:51+02:00"))
|
||||
|
||||
The tab width parameter can now be configured interactively. There are three commands:
|
||||
|
|
BIN
content/devlog/2025/2025-08-14_16-33-39.mp4
Normal file
BIN
content/devlog/2025/2025-08-14_16-33-39.mp4
Normal file
Binary file not shown.
Loading…
Add table
Add a link
Reference in a new issue