Extraterm v0.41.4

Pre-release

Pre-release

sedwards2009 released this 15 Apr 17:47

9476e51

Bug fixes:

Allow the UI to scale when screen DPI changes. issue 179
Prevent the text areas from scrolling too far at times and looking wrong

Assets 8