An editor pane for HTML content that allows zooming.
An editor pane for HTML content that allows zooming.
This is a hack following https://stackoverflow.com/questions/680817/ .
It has a number of glitches, most notably text overshoots with certain
zoom factors (e.g. 1.25) when the view width becomes large, and at
small zoom factors (e.g. 0.5) the width is not filled.
So this needs more work in the future.
Also check this for more ideas (?):
https://github.com/kyo2010/VSTimeMachinGUI/blob/8e896da4aa46280cf09198729a2222ccc8868e39/src/vs/time/kkv/connector/Utils/ScaledTextPane.java
An editor pane for HTML content that allows zooming.
This is a hack following https://stackoverflow.com/questions/680817/ . It has a number of glitches, most notably text overshoots with certain zoom factors (e.g. 1.25) when the view width becomes large, and at small zoom factors (e.g. 0.5) the width is not filled.
So this needs more work in the future.
Also check this for more ideas (?): https://github.com/kyo2010/VSTimeMachinGUI/blob/8e896da4aa46280cf09198729a2222ccc8868e39/src/vs/time/kkv/connector/Utils/ScaledTextPane.java