search

GaloisInc / FiveUI

Extensible UI Analysis in your browser
Other
29 stars 1 forks source link

New UI resize bug #20

Closed elliottt closed 11 years ago

elliottt commented 11 years ago

The new UI won't show any problems until it's resized once. This should just be a case of making sure that the inner div that contains the problems is sized appropriately once the ui is made visible.

benjaminfjones commented 11 years ago

In particular, it seems to be the vertical size of the inner div that makes the difference. When you show the UI and increase the horizontal space alone, no problems are displayed. I thought this had to do with the overflow property on those divs, but changing overflow to 'auto' doesn't help...

elliottt commented 11 years ago

Closed by 860bdc5