✏️ Editing: theme-eclipse.min.js