René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Improve appearance settings","articleBody":"Hi, \n\nI was reviewing the settings and noticed that the two options, **Key borders** and **Narrow key gap**, are tied together, and **Narrow key gap** only appears when **Key borders** is enabled.\n\nHowever, these two options are independent and can be configured separately.\n\nI think the condition for showing **Narrow key gap** based on **Key borders** being enabled should be removed, and **Narrow key gap** should be made independent. This is because **Key borders** only adds a background around each key, while **Narrow key gap** adjusts the spacing between the keys. So these two settings are independent of each other, and **Narrow key gap** should not depend on **Key borders**.\n\n\nhttps://github.com/user-attachments/assets/90dedcc6-4610-4bfc-8a92-daaf204b5d4c","author":{"url":"https://github.com/Mokhyy","@type":"Person","name":"Mokhyy"},"datePublished":"2026-07-22T21:54:16.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/331/LeanType/issues/331"}