language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-08-04 10:50:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Update examples to new syntax (#2067)

Browse source 
* run slint-updater on examples
* manual syntax updates
This commit is contained in:
Florian Blasius 2023-01-16 12:11:25 +00:00 • committed by GitHub
parent dab95b4220
commit 520df46998
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
63 changed files with 1064 additions and 1038 deletions
Download patch file Download diff file Expand all files Collapse all files

20
examples/plotter/plotter.slint
View file

@ -3,15 +3,15 @@
import { Slider, GroupBox, HorizontalBox, VerticalBox } from "std-widgets.slint";
export MainWindow := Window {
export component MainWindow inherits Window {
title: "Slint Plotter Integration Example";
preferred-width: 800px;
preferred-height: 600px;
pure callback render_plot(float /* pitch */, float /* yaw */, float /* amplitude */) -> image;
property <float> pitch: 0.15;
property <float> yaw: 0.5;
in-out property <float> pitch: 0.15;
in-out property <float> yaw: 0.5;
VerticalBox {
Text {
@ -20,23 +20,23 @@ export MainWindow := Window {
horizontal-alignment: center;
}
Image {
source: root.render_plot(pitch, yaw, amplitude-slider.value / 10);
source: root.render_plot(root.pitch, root.yaw, amplitude-slider.value / 10);
touch := TouchArea {
property <float> pressed-pitch;
property <float> pressed-yaw;
pointer-event(event) => {
if (event.button == PointerEventButton.left && event.kind == PointerEventKind.down) {
pressed-pitch = root.pitch;
pressed-yaw = root.yaw;
self.pressed-pitch = root.pitch;
self.pressed-yaw = root.yaw;
}
}
moved => {
if (enabled && pressed) {
pitch = pressed-pitch + (touch.mouse-y - touch.pressed-y) / height * 3.14;
yaw = pressed-yaw - (touch.mouse-x - touch.pressed-x) / width * 3.14;
if (self.enabled && self.pressed) {
root.pitch = self.pressed-pitch + (touch.mouse-y - touch.pressed-y) / self.height * 3.14;
root.yaw = self.pressed-yaw - (touch.mouse-x - touch.pressed-x) / self.width * 3.14;
}
}
mouse-cursor: pressed ? MouseCursor.grabbing : MouseCursor.grab;
mouse-cursor: self.pressed ? MouseCursor.grabbing : MouseCursor.grab;
}
}
HorizontalBox {