Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Smart insert #29
Add insert functionality in a different way than @rgraciano. Instead of by default selecting all text and copying that into the editor, copy what currently is selected based on user preference and continue as normal.
I added a checkbox in the preference menu, and accidentally deleted the menubar (for which I saw no reason to exist tho..).