I wonder what GUI toolkit this uses. It looks beautiful!

Edit: Looks like it might be based on JetBrains' IntelliJ IDEA.