You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I made sure this feature is not in the commands list
I searched and didn't find this feature request in the listed issues
I'm looking for a way to customize the margin size for the new Window Manager tiling. I saw there is a setting in the defaults called EnableTiledWindowMargins, but that's all. I'm wondering if that means the devs hardcoded this value instead of putting it in the defaults?
The text was updated successfully, but these errors were encountered:
I'm looking for a way to customize the margin size for the new Window Manager tiling. I saw there is a setting in the defaults called
EnableTiledWindowMargins
, but that's all. I'm wondering if that means the devs hardcoded this value instead of putting it in the defaults?The text was updated successfully, but these errors were encountered: