search

VerifiableRobotics / LTLMoPWeb3D

A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3 stars 1 forks source link

Allow Spec Editor Resizability #59

Closed agilgur5 closed 8 years ago

agilgur5 commented 8 years ago

As per Jim's feedback, desktop Spec Editor is resizable, e.g. so that the Workspace Decomposition is not extremely small

Basically just mess around with this property: https://developer.mozilla.org/en-US/docs/Web/CSS/resize Note: it requires overflow being set to on Also of worth to note that the default textarea resizability can be turned off with this by using resize: none

agilgur5 commented 8 years ago

This works a bit unexpectedly... having real responsive design and actually letting a user scroll on the Spec Editor seems to make a lot more sense

agilgur5 commented 8 years ago

Based on previous comment, I'm going to leave it at that and link to #24. There's no reason the Spec Editor HAS to look like LTLMoP or that any of the components have to - while this makes transition easier, it doesn't make sense with LTLMoPWeb3D aiming to be the end all be all. LTLMoP also wasn't made designed by a designer in the first place.