(&mut self)
| 507 | |
| 508 | egui::Panel::left("activity_rail") |
| 509 | .resizable(false) |
| 510 | .exact_size(metrics::ACTIVITY_RAIL_WIDTH) |
| 511 | .frame(rail_band) |
| 512 | .show(ui, |ui| self.activity_rail(ui)); |
| 513 | |
| 514 | if self.debugger_dock_visible() { |
| 515 | egui::Panel::right("machine_dock") |
| 516 | .resizable(true) |
| 517 | .default_size(metrics::MACHINE_DOCK_DEFAULT) |
| 518 | .size_range(metrics::MACHINE_DOCK_MIN..=metrics::MACHINE_DOCK_MAX) |
| 519 | .frame(well_band) |
| 520 | .show(ui, |ui| self.machine_dock(ui)); |
| 521 | } |
| 522 | |
| 523 | if self.terminal_open { |
| 524 | let terminal_max = ui.available_height().max(metrics::TERMINAL_MIN_HEIGHT); |
| 525 | egui::Panel::bottom("terminal") |
| 526 | .resizable(true) |
| 527 | .default_size(metrics::TERMINAL_DEFAULT_HEIGHT) |
no test coverage detected