Introduction
The theme editor in RobinPad changes the look and feel of the interface, and it is simple to use. Pick one of the themes that come with the app, import one someone passed along to you, or create your own, and you have a fully personalized space.
The theme editor isn't inside Settings: it opens from the tools menu, under "Theme editor".
