slightly beautified editor tools