Project

General

Profile

Bug #1561

GUI Bug of "A/G, Contracts, Patterns" Editor

Added by Anonymous about 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
08/01/2013
Due date:
% Done:

90%

Estimated time:

Description

The whole "A/G, Contracts, Patterns" is not schrollbar. If there is too many Specification Atoms, man can not see the editor part under "Timeout in seconds".

History

#1 Updated by Anonymous about 7 years ago

  • Assignee changed from Anonymous to Anonymous
  • Target version set to Phoenix 2.4 RC3 (Review Phase)

The fix should be in class TLSpecEditorBase - can you please implement it?

#2 Updated by Anonymous about 7 years ago

  • Status changed from New to Feedback
  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 0 to 90

Ok, fixed.

#3 Updated by Anonymous about 7 years ago

  • Status changed from Feedback to Closed
  • Assignee deleted (Anonymous)

looks good, thanks

Also available in: Atom PDF