UI - Allow editors in full screen mode#1805

Merged

thjaeckle merged 3 commits intoeclipse-ditto:masterfrom

thfries:ui_fullscreen_editors

Nov 21, 2023

Commits on Nov 12, 2023

UI - Allow editors in full screen mode
thfries
committed

Commits on Nov 13, 2023

UI - enable scrolling back if not fullscreen
thfries
committed

Commits on Nov 21, 2023

Merge branch 'master' into ui_fullscreen_editors
thjaeckle
authored