adding tooltip in raw html was a neat new trick I learned
https://developer.mozilla.org/en-US/docs/Web/Accessibility/ARIA/Reference/Roles/tooltip_role
although it was weird in this mozzila tutorial that they did not use relative positioning for the tooltip
When I am not using nvim, I use VSCodium, Cursor or Zed, and irrespective of what editor I use I like to keep it clean i.e minimal things on my screen. There is no beating nvim in that case, but when I am using VSCodium, Cursor or Zed, the title bar and status bar is something that I don't need, 0 cases, I haven't ever found them useful.
Now hiding them means hiding them, that means they should not visible at all, I could not find a way to do that in VSCodium. I could not get it to work natively. I haven't tried on Zed yet, will update.
Cursor on the other hand made it absolutely easy and provided better UX. The difference is present in the comments. This is how you do it. Cmd + Shift + J > General > Layout > Hide both Its not also just hiding the title bar but also utilizing the space for tabs. Gold.
I appreciate Cursor for being considerate about this, small thing but I'm really glad so
So I use Karabiner for keyboard shortcuts and I also use jira for tracking personal tickets but jira doesn't provide desktop application so I used pwa but since its not a normal application, putting the path in karabiner was bit tricky
first, chrome applications are not stores at Applications but rather at ~/Applications/Chrome\ Apps.localized
second, now you cannot simply use \ here because karabiner.json rejects that, so instead you need to use ~/Applications/Chrome Apps.localized/Jira.app
and now it works!
| { | |
| "bundleId" : "com.knollsoft.Rectangle", | |
| "defaults" : { | |
| "SUEnableAutomaticChecks" : { | |
| "bool" : true | |
| }, | |
| "allowAnyShortcut" : { | |
| "bool" : true | |
| }, | |
| "almostMaximizeHeight" : { |
Published: Dec 26 2025
I like my tools efficient and pretty, so I play around with them until they look and feel great. I was messing with gboard settings on my android phone and realized I can change its height and by doing that it makes the keyboard keys look square, its a much better experience then whatever the default height and width is, give it a shot. Personally never going back to default keyboard.
