~tapaal-contributor/tapaal/raw-query-window-scaling-1915882

Viewing all changes in revision 1118.

  • Committer: lsaid
  • Date: 2021-02-20 13:19:53 UTC
  • Revision ID: lena.said@hotmail.com-20210220131953-v9tza1qe6y8z6qcs
Restricted the minimum size of the raw query output window

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: