Closed aviatesk closed 5 years ago
While working on #200, I found JSX styling for dynamic font-changing in docpane.js is kinda broken. I fixed it and also added the same styling to workspace.js.
Now both panes correctly reflects the font changes:
While working on #200, I found JSX styling for dynamic font-changing in docpane.js is kinda broken. I fixed it and also added the same styling to workspace.js.
Now both panes correctly reflects the font changes: