[WIP] Add refresh project in-line shortcut to Gradle script editor#847
Open
donat wants to merge 2 commits intomasterfrom donat/code-mining/prototype
+180-6
refresh project in-line shortcut to Gradle script editor#847