|
@@ -124,12 +124,7 @@ impl AppState {
|
|
|
let pane_grid = PaneGrid::new(&panes, |id, pane, is_maximized| {
|
|
let pane_grid = PaneGrid::new(&panes, |id, pane, is_maximized| {
|
|
|
let is_focused = focus == Some(id);
|
|
let is_focused = focus == Some(id);
|
|
|
|
|
|
|
|
- let pin_button = button(text(if pane.is_pinned { "Unpin" } else { "Pin" }).size(14))
|
|
|
|
|
- .on_press(Message::Pane(PaneMessage::TogglePin(id)))
|
|
|
|
|
- .padding(3);
|
|
|
|
|
-
|
|
|
|
|
let title = row![
|
|
let title = row![
|
|
|
- pin_button,
|
|
|
|
|
text(if request.entry.name.is_empty() {
|
|
text(if request.entry.name.is_empty() {
|
|
|
"Unnamed request"
|
|
"Unnamed request"
|
|
|
} else {
|
|
} else {
|
|
@@ -180,7 +175,7 @@ impl AppState {
|
|
|
})
|
|
})
|
|
|
.width(Fill)
|
|
.width(Fill)
|
|
|
.height(Fill)
|
|
.height(Fill)
|
|
|
- .spacing(10)
|
|
|
|
|
|
|
+ .spacing(5)
|
|
|
.on_click(|p| Message::Pane(PaneMessage::Clicked(p)))
|
|
.on_click(|p| Message::Pane(PaneMessage::Clicked(p)))
|
|
|
.on_drag(|p| Message::Pane(PaneMessage::Dragged(p)))
|
|
.on_drag(|p| Message::Pane(PaneMessage::Dragged(p)))
|
|
|
.on_resize(10, |p| Message::Pane(PaneMessage::Resized(p)));
|
|
.on_resize(10, |p| Message::Pane(PaneMessage::Resized(p)));
|