language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-11-03 05:12:55 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

live-preview: Remove history navigation

Browse source 
We apparently do not want history-based navigation,
so remove the code supporting that again.
This commit is contained in:
Tobias Hunger 2024-08-14 11:49:07 +00:00 • committed by Tobias Hunger
parent e01da55c22
commit 092ca597bb
3 changed files with 14 additions and 73 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tools/lsp/ui/api.slint
View file

@ -138,10 +138,6 @@ export global Api {
in property <[string]> known-styles; // All the known styles
in-out property <string> current-style; // The current style
// ## History Navigation
in property <bool> can-navigate-back: false;
in property <bool> can-navigate-forward: false;
// ## Drawing Area
in property <[Selection]> selections; // Borders around things
in-out property <DropMark> drop-mark;
@ -155,9 +151,6 @@ export global Api {
// ## Style:
callback style-changed();
// ## Histroy Navigation
callback navigate(int);
// ## Component life-cycle:
// Create a new componnet