text/xml/diff view: zoom font size depending on ctrl+mousewheel#33

Merged

hnesk merged 8 commits intohnesk:masterfrom bertsky:text-zoom

Nov 26, 2021

+164-16

Commits on Nov 9, 2021

v0.5
hnesk
committed

Commits on Nov 18, 2021

text/xml/diff view: zoom font size depending on ctrl+mousewheel
bertsky
committed
Merge branch 'text-zoom' of https://github.com/bertsky/browse-ocrd into bertsky-text-zoom
hnesk
committed

Commits on Nov 23, 2021

Commits on Nov 25, 2021

Merge branch 'text-zoom' of https://github.com/bertsky/browse-ocrd into bertsky-text-zoom
hnesk
committed

Commits on Nov 26, 2021