]> git.lyx.org Git - features.git/commit
* OutputUi.ui - Reorganize Output pane so it takes less vertical space.
authorPavel Sanda <sanda@lyx.org>
Tue, 9 May 2023 17:06:26 +0000 (19:06 +0200)
committerPavel Sanda <sanda@lyx.org>
Tue, 9 May 2023 17:06:26 +0000 (19:06 +0200)
commit75d731c9d8eacac6382ce41ff254d015fe3c6b5c
tree6b049dc3ec2e464d3e7847b333735f5894384864
parent20b45cf02895a9ca5a1c831b4d4c0795d91b8d4a
* OutputUi.ui - Reorganize Output pane so it takes less vertical space.
src/frontends/qt/ui/OutputUi.ui