mirror of
https://github.com/slint-ui/slint.git
synced 2025-10-21 07:41:51 +00:00
4d309f69ba
Add a filter into the Selection popup to filter out anything not matching. If all letters are lowercase, then it will do a case-insensitive match, if there are non-lowercase characters it will do case-sensitive matching instead.
97 lines
3.7 KiB
Text
97 lines
3.7 KiB
Text
// Copyright © SixtyFPS GmbH <info@slint.dev>
|
|
// SPDX-License-Identifier: GPL-3.0-only OR LicenseRef-Slint-Royalty-free-2.0 OR LicenseRef-Slint-Software-3.0
|
|
|
|
import { Palette } from "std-widgets.slint";
|
|
|
|
export global Icons {
|
|
out property <image> add: @image-url("../assets/add.svg");
|
|
out property <image> chevron-down: @image-url("../assets/chevron-down.svg");
|
|
out property <image> inspect: @image-url("../assets/inspect.svg");
|
|
out property <image> search: @image-url("../assets/search.svg");
|
|
out property <image> sidebar-left-off: @image-url("../assets/layout-sidebar-left-off.svg");
|
|
out property <image> sidebar-right-off: @image-url("../assets/layout-sidebar-right-off.svg");
|
|
out property <image> sidebar-left: @image-url("../assets/layout-sidebar-left.svg");
|
|
out property <image> sidebar-right: @image-url("../assets/layout-sidebar-right.svg");
|
|
out property <image> sync: @image-url("../assets/sync.svg");
|
|
}
|
|
|
|
export struct TextStyle {
|
|
font-size: relative-font-size,
|
|
font-weight: int,
|
|
}
|
|
|
|
export global EditorFontSettings {
|
|
out property <int> light-font-weight: 100;
|
|
out property <int> regular-font-weight: 400;
|
|
out property <int> semibold-font-weight: 700;
|
|
out property <int> bold-font-weight: 900;
|
|
|
|
out property <TextStyle> header: {
|
|
font-size: 18 * 0.0769rem,
|
|
font-weight: root.semibold-font-weight
|
|
};
|
|
|
|
out property <TextStyle> body: {
|
|
font-size: 14 * 0.0769rem,
|
|
font-weight: root.regular-font-weight
|
|
};
|
|
out property <TextStyle> label: {
|
|
font-size: 14 * 0.0769rem,
|
|
font-weight: root.regular-font-weight
|
|
};
|
|
out property <TextStyle> label-sub: {
|
|
font-size: 14 * 0.0769rem,
|
|
font-weight: root.light-font-weight
|
|
};
|
|
|
|
|
|
out property <TextStyle> body-strong: {
|
|
font-size: 16 * 0.0769rem,
|
|
font-weight: root.bold-font-weight
|
|
};
|
|
}
|
|
|
|
export global EditorSpaceSettings {
|
|
in property <length> default-padding: 8px;
|
|
in property <length> default-spacing: 8px;
|
|
in property <length> group-indent: 10px;
|
|
in property <length> property-spacing: 5px;
|
|
}
|
|
|
|
export global EditorSizeSettings {
|
|
in property <length> default-icon-width: 20px;
|
|
in property <length> eightbit-int-size: 40px;
|
|
in property <length> float-size: 100px;
|
|
in property <length> header-height: 32px;
|
|
in property <length> hex-size: 80px;
|
|
in property <length> item-height: 24px;
|
|
in property <length> length-combo: 70px;
|
|
in property <length> min-prefix-text-width: 120px;
|
|
in property <length> property-bar-width: 360px;
|
|
in property <length> radius: 5px;
|
|
in property <length> side-bar-width: 280px;
|
|
}
|
|
|
|
export global EditorPalette {
|
|
|
|
property <bool> dark-color-scheme: Palette.color-scheme == ColorScheme.dark;
|
|
|
|
out property <brush> drop-mark-background: #00ff0080;
|
|
out property <brush> drop-mark-foreground: #00ff00ff;
|
|
|
|
out property <brush> general-element-selection-primary: #3884ed;
|
|
out property <brush> general-element-selection-secondary: #86b5fc;
|
|
out property <brush> general-element-selection-selected: Palette.accent-foreground;
|
|
out property <brush> interactive-element-selection-primary: #8fff79;
|
|
out property <brush> interactive-element-selection-secondary: #48dc2a;
|
|
out property <brush> layout-element-selection-primary: #FFC5FC;
|
|
out property <brush> layout-element-selection-secondary: #ff8af9;
|
|
|
|
out property <brush> state-hovered: root.dark-color-scheme ? #ffffff.with-alpha(0.1) : #000000.with-alpha(0.1);
|
|
out property <brush> state-pressed: root.dark-color-scheme ? #ffffff.with-alpha(0.2) : #000000.with-alpha(0.2);
|
|
}
|
|
|
|
export global EditorAnimationSettings {
|
|
out property <duration> color-duration: 200ms;
|
|
out property <duration> roation-duration: 200ms;
|
|
}
|