language-servers/slint
1
0
Fork 0
mirror of https://github.com/slint-ui/slint.git synced 2025-10-28 18:52:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Remove unused header bar

Browse source
This commit is contained in:
Florian Blasius 2024-07-10 13:14:42 +02:00 • committed by Simon Hausmann
parent b573f1c7d8
commit ef14d1a4a5
1 changed files with 0 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

19
tools/lsp/ui/header-bar.slint
View file

@ -1,19 +0,0 @@
// 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
// cSpell: ignore Heade
import { HorizontalBox } from "std-widgets.slint";
export component HeaderBar {
min-height: 40px;
vertical-stretch: 0;
Rectangle {
HorizontalBox {
alignment: end;
@children
}
}
}