Basic Contracts: UI
UI issues for Basic Contracts (and, possibly, also for similar windows):
- There seems to be a problem with resizing the list after adding several items: sometimes the right scrollbar does not appear. Only closing and re-opening the windows entails resizing so that all items become visible.
- Another strange issue: when resizing the window by moving the vertical border between the editor window and the right-most window (e.g. the Counterexample Viewer), all elements in the window are enlarged, no matter, whether the windows is made smaller or larger
(from redmine: issue id 906, created on 2012-07-09, closed on 2012-07-10)
- Relations:
- parent #814 (closed)