Project

General

Profile

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

Also available in: Atom PDF