how can we get back the ctrl-enter to commit? I just installed the latest version and it seems missing
also not a fan of "revert", I think "discard" was more descriptive of the operation, you are discarding the changes, revert is confusingly similar to git revert which does a different thing and creates a new commit
I think both changes are a regression (to the worse) - I understand people like to innovate but maybe in this case it is not for the better, if possible put them back please, thanks