Personally, I'd prefer a) save cursor position as I'd like to keep our preferences GUI as minimal as possible
Personally, I'd prefer a) save cursor position as I'd like to keep our preferences GUI as minimal as possible