• Joined on 2020-10-11
lm pushed to master at lm/ICRA 2025-10-17 17:19:05 +02:00
8311914fdc Refine free-draw icon
lm pushed to master at lm/ICRA 2025-10-17 17:17:42 +02:00
af4cdcdb15 Adjust free-draw icon spacing
lm pushed to master at lm/ICRA 2025-10-17 17:16:20 +02:00
a6df944ba1 Tweak toolbar order
lm pushed to master at lm/ICRA 2025-10-17 17:13:01 +02:00
464855f365 Refine freehand exclusion polygons
lm pushed to master at lm/ICRA 2025-10-17 17:02:20 +02:00
f678c403b7 Add freehand exclusion mode
lm pushed to master at lm/ICRA 2025-10-17 16:47:38 +02:00
5cb2945577 fix: restore default colour swatch on slider reset
lm pushed to master at lm/ICRA 2025-10-17 16:43:39 +02:00
91fad62808 feat: add translation files and i18n loader
lm pushed to master at lm/ICRA 2025-10-17 16:30:04 +02:00
76073ab0b5 Trim current colour label text
lm pushed to master at lm/ICRA 2025-10-17 16:09:38 +02:00
b4b6fa4e87 Rearrange palette header to show current colour
a5d2aacdf6 Light theme background to pure white
666ce85470 Display initial swatch using default colour centre
Compare 3 commits »
lm pushed to master at lm/ICRA 2025-10-17 16:01:43 +02:00
382bccaedd Show selected colour swatch and adjust labels for themes
e9db16be46 Show current colour swatch in palette header
e3013bd305 Tint accent labels based on theme
1024d84bbc Update German terminology for exclusions and matches
1247269bb7 Allow folder navigation to wrap around
Compare 5 commits »
lm pushed to master at lm/ICRA 2025-10-17 15:45:11 +02:00
37c322de75 Update README.md
lm pushed to master at lm/ICRA 2025-10-17 15:43:26 +02:00
105a93c3f9 Draw toolbar icons and labels separately for consistent spacing
lm pushed to master at lm/ICRA 2025-10-17 15:39:51 +02:00
3212e3c64f Fallback to regular spaces between icons and text
lm pushed to master at lm/ICRA 2025-10-17 15:38:06 +02:00
67287a8fe0 Ensure toolbar icon/text spacing with non-breaking space
lm pushed to master at lm/ICRA 2025-10-17 15:37:01 +02:00
e624419a01 Tint titlebar close button on hover
lm pushed to master at lm/ICRA 2025-10-17 15:34:47 +02:00
191f454561 Tweak toolbar button padding
lm pushed to master at lm/ICRA 2025-10-17 15:31:54 +02:00
9237e3acd5 Resolve merge conflict for toolbar label spacing
657092be96 Add uniform double-space padding after toolbar icons
Compare 2 commits »
lm pushed to master at lm/ICRA 2025-10-17 15:22:13 +02:00
1666cb9aa5 Use thin spaces after toolbar button icons
lm pushed to master at lm/ICRA 2025-10-17 15:19:54 +02:00
123afd5254 Increase toolbar button horizontal padding
lm pushed to master at lm/ICRA 2025-10-17 15:17:00 +02:00
4361194fd1 Swap multi-codepoint emoji for consistent spacing