Navigation menubar: Fix scroll-to-top problem reported in issue #1307#1308

Merged

mcking65 merged 4 commits intomasterfrom issue1307-scroll-to-top

Feb 5, 2020

+14

Commits on Jan 24, 2020

Fixes the scroll-to-top problem in issue #1307
carmacleod
committed

Commits on Jan 28, 2020

make comment clearer
carmacleod
committed

Commits on Feb 4, 2020

Merge branch 'master' into issue1307-scroll-to-top
mcking65
authored

Commits on Feb 5, 2020

Merge branch 'master' into issue1307-scroll-to-top
mcking65
authored