Hi!
The World menu contains the entry Workspace. Clicking on it open a playground. Maybe we could unify this and pick just one name?
Cheers, Alexandre
Yes. But, at this point, 'Workspace' is not customizable. We should find a solution for this.
Doru
On Wed, Jul 30, 2014 at 10:53 PM, Alexandre Bergel alexandre.bergel@me.com wrote:
Hi!
The World menu contains the entry Workspace. Clicking on it open a playground. Maybe we could unify this and pick just one name?
Cheers, Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
and this brings back to an old discussion.... why not having two menu entries.
On 30/7/14 22:53, Alexandre Bergel wrote:
Hi!
The World menu contains the entry Workspace. Clicking on it open a playground. Maybe we could unify this and pick just one name?
Cheers, Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-
Alexandre Bergel -
stepharo -
Tudor Girba