2161 Commits (93167b58978ff31aac55931d8c2cf6101de9d345)
 

Author SHA1 Message Date
Jannis Weis 93167b5897
Apply visual paddings directly after installation 2 years ago
Jannis Weis f74915d714
Encapsulate location of jdk bundles 2 years ago
Jannis Weis 5ba39ced05
Build: Update gradle to version 8.1.1 2 years ago
Jannis Weis d615d39639
macOS: Larger rounded corners as on Windows 11 2 years ago
Jannis Weis 6d9aa98588
ComboBox: Always disable alternate row color for combo boxes 2 years ago
Jannis Weis 72e13ba55a
Demo: Add Menu with only menu items to PopupMenuDemo 2 years ago
Jannis Weis 0b1f6b0285
macOS: Enable rounded tables/lists/trees/menus 2 years ago
Jannis Weis de8a3b4fec
Menu: Improve spacing for toggle button menu items 2 years ago
Jannis Weis 6d863bc019
Menu: Compensate for scrollbar in extra tall popups 2 years ago
Jannis Weis 91899ff0f3
Menu: Set textOffset to 0 2 years ago
Jannis Weis 73549b522b
Menu: Respect visual paddings from radiobutton/checkbox 2 years ago
Jannis Weis d445a79a86
Menu: Check margins for possibly accounted for leading gap 2 years ago
Jannis Weis fa4b6ac4c9
Menu: Adjust margins 2 years ago
Jannis Weis b59813a48b
Icons: Inherit visual padding from icons in StateIcon 2 years ago
Jannis Weis 92e716a61f
Icons: Add visualPadding properties to checkbox and radiobutton 2 years ago
Jannis Weis 8222ce6466
Menu: Always paint true background in opaque 2 years ago
Jannis Weis e69c84fc30
Defaults: Don't load Windows 11 properties if os mode is overwritten 2 years ago
Jannis Weis 7361342279
ColoredRadioButton: Load os predefs 2 years ago
Jannis Weis 4416630b80
Menu: Adjust right margin 2 years ago
Jannis Weis 1fcef71820
Implement toString for EmptyIcon 2 years ago
Jannis Weis 5e766268e5
Button: Paint corner arc when a neighbour is present 2 years ago
Jannis Weis 45679f69ad
Button: Simplify code for painting neighbour focus 2 years ago
Jannis Weis d8087a34e8
Table: Set table background of IconWrapper editor 2 years ago
Jannis Weis a77bbf3597
FileChooser: Update cell editor when column model changes 2 years ago
Jannis Weis 43327d64ab
Table: Update column margin when model changes 2 years ago
Jannis Weis babb9a1539
Menu: Allow specifying non rounded corners on menubars 2 years ago
Jannis Weis 43b932ad92
API: Extract officially supported property keys into an accessible location 2 years ago
Jannis Weis f548626516
Defaults: Change default dark theme to OneDarkTheme 2 years ago
Jannis Weis a5412e8e49
ComboBox: Fix incorrect height for small popups 2 years ago
Jannis Weis 0e5ece0c7e
List,Table: Use same behaviour as trees for highlighting the lead selection 2 years ago
Jannis Weis a287cf03c1
Tree: Visually merge selection with rounded corners 2 years ago
Jannis Weis 55c6acaaba
Tree: Change default line style to 'none' 2 years ago
Jannis Weis 19ab96db1f
Windows: Add missing arc property for lists on Windows 11 2 years ago
Jannis Weis bb6bbe112a
Windows: Add missing arc property for lists on Windows 11 2 years ago
Jannis Weis 9be57ef35e
Popup: Make location computation easier to read 2 years ago
Jannis Weis 1643f4e7d1
ComboBox: Mark popup as opaque 2 years ago
Jannis Weis 6070098945
ComboBox: Fix popup alignment if above combobox 2 years ago
Jannis Weis a1bedbc64c
Installation: Adjust initial size of UIDefaults 2 years ago
Jannis Weis 95f5c55a46
Windows: Use rounded corners for trees and lists on Windows 11 2 years ago
Jannis Weis d372be93d2
Theme: Specify predefined values for each OS 2 years ago
Jannis Weis 2cc34fb883
Fixup2 2 years ago
Jannis Weis 9663fe3c0b
Fixup 2 years ago
Jannis Weis 718903a590
Icons: Consistently use thin/thick arrows 2 years ago
Jannis Weis f5fabae12e
Menu: Remove duplicate icon property 2 years ago
Jannis Weis 758b64602a
Tree: Add option to paint selection with margins and rounded corners 2 years ago
Jannis Weis a05bf93cba
List: Only paint lead selection highlight if necessary 2 years ago
Jannis Weis 81d52f39fe
List: Allow specifying insets in properties 2 years ago
Jannis Weis 509c1c0113
List: Allow rounded corners on selection background 2 years ago
Jannis Weis ea9c3eaf0c
Demo: Add items to ListDemo to make scrollbars necessary 2 years ago
Jannis Weis 7c3e0e27eb
Windows: Use rounded corners for menu highlighting 2 years ago