Feature #7620: Decrease error trace assumptions window size if assumptions are disabled - Klever - Open-Source Projects

Actions

Copy link

Feature #7620

closed

Decrease error trace assumptions window size if assumptions are disabled

Added by Evgeny Novikov over 7 years ago. Updated over 7 years ago.

Status:

Closed

Priority:

Immediate

Assignee:

Vladimir Gratinskiy

Category:

Bridge

Target version:

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.

Actions

Copy link

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.

Actions

Copy link