[renderjs_ui] Refactor Header gadget
- does not rely on undefined (because of possible change nexedi/renderjs!10) - added comments - simplified logic and refactoring for obviousness
Showing
This diff is collapsed.
Please register or sign in to comment