Hi Alex,
You can configure the keyboard shortcuts in the preferences. There you can replace the default F3 with Ctrl+F3, if you prefer it that way.

Please check out SmartGit 22.1 preview. It has a new "Standard window " that does exactly that.

In the profile settings you can find file and directory filters.

Local | Remove should do the trick.

SmartGit 22.1 is only in preview, SmartGit 22.2 not even started.

This is how the Pull works in the Standard window of 22.1 preview.

Do you have a link which describes the exact syntax?

This should be fixed in SmartGit 22.1 #19142+.

So you want to always drag the stash onto the HEAD commit, OK. Right-clicking the stash and selecting Apply Stash already works today.