diproche / webinterface

1 stars 0 forks source link

Exercises #100

Closed TimothyGillespie closed 5 years ago

TimothyGillespie commented 5 years ago

This will need some work still. The proofEditor should be reused in here and will probably need some externalization. Solves #98 too.

TimothyGillespie commented 5 years ago

This is almost ready. During the conversion I changed some file structurs which broke some CSS Styling. This will need to be fixed. Also I want to make exercise a controlled component as well.

With these two changes and some clean up this should be ready to go.

TimothyGillespie commented 5 years ago

This pull request does also:

Ideally these changes would be contained in a new PR, but I decided to put them in here to not be blocked working on this any longer.

Korosensei42 commented 5 years ago

Looks good to me so far. I will try out some dropdown menu for a bit, though. If I think it looks good, I will suggest it, otherwise I will just approve this