1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-28 06:17:34 +00:00

Maps: Add favorites panel with favorite places management

This commit is contained in:
Bastiaan van der Plaat 2023-10-24 21:57:35 +02:00 committed by Andrew Kaster
parent 3acbffabf9
commit 5a7f43ad38
10 changed files with 421 additions and 13 deletions

View file

@ -0,0 +1,28 @@
@Maps::FavoritesPanel {
min_width: 100
preferred_width: 200
max_width: 350
layout: @GUI::VerticalBoxLayout {}
// Empty and favorites are toggled in visibility
@GUI::Frame {
name: "empty_container"
frame_style: "SunkenPanel"
layout: @GUI::VerticalBoxLayout {
margins: [4]
}
@GUI::Label {
text: "You don't have any favorite places"
text_alignment: "CenterLeft"
}
}
@GUI::ListView {
name: "favorites_list"
horizontal_padding: 6
vertical_padding: 4
should_hide_unnecessary_scrollbars: true
alternating_row_colors: false
}
}