Marco Arnulfo 777930fcd2 Panels: a double-click on the strip of a group beside another does nothing ...

Such a group can't collapse, so the strip queued window.panel.collapse only for the command to refuse it and leave an error in the status bar.

2026-10-24 02:05:18 +07:00

..

src

Panels: a double-click on the strip of a group beside another does nothing

2026-10-24 02:05:18 +07:00

tests

UI: an embedder of the egui panels binds their font families without shipping their faces

2026-10-22 10:46:06 +07:00

build.rs

Build: generated sources are rewritten only when they change

2026-10-11 07:13:32 +07:00

Cargo.toml

UI: an embedder of the egui panels binds their font families without shipping their faces

2026-10-22 10:46:06 +07:00