Stefano Borini

Results 80 issues of Stefano Borini

Currently the event loop is very naive and not portable. I think it's good to use vaitk as a base for experimenting with asyncio

The idea of bookmarks is that they should be unique. However, there's a way to duplicate a bookmark. - create a bookmark on a line. - delete the line -...

Bug

Check the MD5 of the documents before quitting and saving to prevent saving on a modified file under your feet.

Feature