<div dir="ltr">Hello all,<br><br>I'm excited to see that TeXworks development has moved to GitHub. In the spirit of smoothing out some rough GitHub edges, I've submitted a pull request: <a href="https://github.com/TeXworks/texworks/pull/685">https://github.com/TeXworks/texworks/pull/685</a><br><br>Please let me know what you think. All suggestions are welcome. :)<br><br>Thanks,<br>-Tom Richards</div>