Footnote scrollable, when > 10#2238

mariusheine merged 2 commits intomaineclipse-set/set:mainfrom

footnote-scrollableeclipse-set/set:footnote-scrollableCopy head branch name to clipboard