I recently upgraded my ST3 to build 3143 both under Windows and under Linux.
Bookmarks work OK under Windows. I set and unset them with Ctrl+F2, I go back to them with F2.
Unfortunately, bookmarks absolutely don’t work for me under Linux if I use the keyboard. I can set, delete, and navigate them using the menus. But this is hardly useful for me, since I don’t want to have to depend on mouse and menus. I just want to type Ctrl+F2 to set or delete a bookmark, as I used to do, and F2 to sequentally go to bookmarked places.
Are you suffering the same bug under Linux? Does anyone know how to fix it?
I’m using VoidLinux, by the way.