Skip to content

Commit

Permalink
switch to normal runners
Browse files Browse the repository at this point in the history
  • Loading branch information
zrezke committed May 18, 2023
1 parent acd6c73 commit 5872427
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 37 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/python.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,8 +89,8 @@ jobs:
# MacOS build is really slow (>30 mins); uses up a lot of CI minutes
matrix+=('{"platform": "macos", "runs_on": "macos-latest"},')
fi
matrix+=('{"platform": "windows", "runs_on": "windows-latest-8-cores"},')
matrix+=('{"platform": "linux", "runs_on": "ubuntu-latest-16-cores", container: {"image": "rerunio/ci_docker:0.5"}}')
matrix+=('{"platform": "windows", "runs_on": "windows-latest"},')
matrix+=('{"platform": "linux", "runs_on": "ubuntu-latest", container: {"image": "rerunio/ci_docker:0.5"}}')
echo "Matrix values: ${matrix[@]}"
Expand Down
35 changes: 0 additions & 35 deletions crates/re_viewer/src/app.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1339,41 +1339,6 @@ fn top_bar_ui(
let extra_margin = (ui.available_height() - 24.0) / 2.0;
ui.add_space(extra_margin);
}

let mut selection_panel_expanded = blueprint.selection_panel_expanded;
if app
.re_ui
.medium_icon_toggle_button(
ui,
&re_ui::icons::RIGHT_PANEL_TOGGLE,
&mut selection_panel_expanded,
)
.on_hover_text(format!(
"Toggle Selection View{}",
Command::ToggleSelectionPanel.format_shortcut_tooltip_suffix(ui.ctx())
))
.clicked()
{
app.pending_commands.push(Command::ToggleSelectionPanel);
}

let mut time_panel_expanded = blueprint.time_panel_expanded;
if app
.re_ui
.medium_icon_toggle_button(
ui,
&re_ui::icons::BOTTOM_PANEL_TOGGLE,
&mut time_panel_expanded,
)
.on_hover_text(format!(
"Toggle Timeline View{}",
Command::ToggleTimePanel.format_shortcut_tooltip_suffix(ui.ctx())
))
.clicked()
{
app.pending_commands.push(Command::ToggleTimePanel);
}

let mut blueprint_panel_expanded = blueprint.blueprint_panel_expanded;
if app
.re_ui
Expand Down

0 comments on commit 5872427

Please sign in to comment.