Your comments

Closing as duplicate. Please vote for issue #224.

We are using a "code prettify" Java port here. It would be interesting whether your code snippet is properly highlighted by the native code scripts. AFAIK, stackoverflow.com is using "prettify", too.

When adding following line to smartgit.properties (in the Settings directory, see About dialog), does it work?

java.security.auth.login.config=dummy

Whoops, I'm sorry, this has been implemented only for version 17.1 Preview: here you will have Local|Stash Selection

This has been implemented for version 17.1 preview. Either way, thanks for pointing out to new "git stash push" functionality -- we should probably use this command instead of our own file-selection stashing (SG-10926).

What exactly do you need?