adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
http://adam.informatik.uni-oldenburg.de:4567/
GNU General Public License v3.0
5 stars 2 forks source link

Improvements of the menu bar #75

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

There are some ideas to improve the bar:

annyanich commented 4 years ago
annyanich commented 4 years ago

Home button takes you back tot he main page

mgieseking commented 4 years ago

When I currently see the old screen shots I'm not sure if it will look nice when the name is to the left, since it is too long. When I remember correctly you said that centered is not possible? Currently, I don't know what's the best.

mgieseking commented 4 years ago

I added some of the parts quite hacky. Obviously, you can do what ever you want with this. Otherwise further improvements would be:

annyanich commented 4 years ago

I like what you did here, it makes it a bit closer to the standard Material Design web app UI when the bar stretches across the whole screen.

I had a look at implementing your 3 ideas:

mgieseking commented 4 years ago
* I think it will be difficult to make the middle item unselectable.  The library I made the menu with seems not to be made with that use case in mind.  If I had a lot of time on my hands, I could monkey patch it, but I probably won't get to it before we turn in the artifact.

OK, this sounds intricate, but would it be possible to change the css for hover over, so that it don't changes the color ;)?

annyanich commented 4 years ago

U are right, I did it :) thanks for the idea

annyanich commented 4 years ago

Possibly with CSS tricks I can do the github icon as well, but I will save that for later.