GUI Bug of "A/G, Contracts, Patterns" Editor
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”.
(from redmine: issue id 1561, created on 2013-08-01, closed on 2013-08-02)