search

gama-platform / gama.old

Main repository for developing the 1.x versions of GAMA
GNU General Public License v3.0
304 stars 99 forks source link

Relaunch button in the minimal gui #1980

Closed agrignard closed 8 years ago

agrignard commented 8 years ago

What about having a relaunch button at the left of the red cross ? I know the relaunch button is available in the other tabs but it makes sense to have it at the same level of the play

AlexisDrogoul commented 8 years ago

We can perfectly add one, the only trouble being that it is strongly linked with the parameters view, as it is bound to take new parameters values as input. I have pushed a small change to move this button out of the view and into the main bar, please comment ( @gama-platform/committers ) if you have any trouble with this.

agrignard commented 8 years ago

Cool I did not think it would be so fast to add it.

It does the trick for me. Thanks