Actions
Feature #7620
closedDecrease error trace assumptions window size if assumptions are disabled
Start date:
10/24/2016
Due date:
11/15/2016
% Done:
100%
Estimated time:
Published in build:
Description
There is no sense to see much empty space in this window that can be efficiently used for showing more source code. I assume that space required for showing one line of text is enough.
Updated by Vladimir Gratinskiy over 7 years ago
- Due date set to 11/15/2016
- Status changed from New to Resolved
- % Done changed from 0 to 100
I think the best solution is don't show assumptions window at all if the corresponding option is disabled. It is implemented in commit 5aa1a65 of "better-unsafes-and-marks" branch.
Updated by Ilja Zakharov over 7 years ago
- Status changed from Resolved to Closed
Merged in 6e2305dc.
Actions