How do I copy Options (set via Window->Options...) from one workspace to another?

Daniel Lipp

Most (all?) of this options go into the ide.ini file that's located int the ideprogram subdirectory.

Among others you'll find the repository you were connected to, the shared resource directory, formatting options, color and font settings...

This is a text file so you can edit it and just copy/paste the parts you want to keep.

Be sure to have a backup in case something goes wrong...