gsutil cp gs://bucket/* destination
... why do I have to change the fonts each time I create a new workspace or turn on editor line numbers? There are some tricks, by specifying properties in some ini files, but this is really clumsy (Do you know the property name for the fonts? Without searching?). I think this is something that should be achievable without hacking.So does anyone know if there is such a plugin that would help synchronize common properties or if there is interest for such a plugin?