Guillaume Anthouard 2fb824889e Change DockArea api to look a bit more like other egui containers (#23) ...

* Transform `DockArea` api to look a bit more like other egui containers

* Requested changes

2022-08-29 20:03:59 +01:00

..

hello.rs

Change DockArea api to look a bit more like other egui containers (#23)

2022-08-29 20:03:59 +01:00

simple.rs

Change DockArea api to look a bit more like other egui containers (#23)

2022-08-29 20:03:59 +01:00

traits.rs

Change DockArea api to look a bit more like other egui containers (#23)

2022-08-29 20:03:59 +01:00