[gama-platform/gama] 5ad72a: Simple changes for debugging and improving toolbar...

[Alexis Drogoul]

Branch: refs/heads/GAMA_1.8.2
Home: https://github.com/gama-platform/gama
Commit: 5ad72a9e6e539809fb3c460c07bd4746f331ba94
https://github.com/gama-platform/gama/commit/5ad72a9e6e539809fb3c460c07bd4746f331ba94
Author: AlexisDrogoul <alexis....@gmail.com>
Date: 2022-05-10 (Tue, 10 May 2022)

Changed paths:
M ummisco.gama.ui.experiment/src/ummisco/gama/ui/views/displays/LayeredDisplaySynchronizer.java
M ummisco.gama.ui.shared/src/ummisco/gama/ui/views/toolbar/GamaToolbar2.java

Log Message:
-----------
Simple changes for debugging and improving toolbar behavior