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

Viewing all changes in revision 1119.

  • Committer: lsaid
  • Date: 2021-02-22 22:56:50 UTC
  • Revision ID: lena.said@hotmail.com-20210222225650-bqnkwj4b24r61wpf
Scroll panel resizes with the window

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: