All my changes - Githubissues

andreikop / enki

A text editor for programmers

http://enki-editor.org

GNU General Public License v2.0

161 stars 38 forks source link

All my changes #432

Closed bjones1 closed 6 years ago

bjones1 commented 6 years ago

Lots of fixes:

Use QWebEngine instead of QWebKit
Use IPython for REPL
Provide auto-hide for unpinned windows
MRU list of files (disabled for now)
Other fixes.