It appears to be fixed after I updated this morning. The divider is also smaller now ([screenshot](https://i.imgur.com/Oj8ueeD.png)). I don't have any special UI preferences enabled, but I am using an external monitor that has a different scaling enabled than the laptop it's running from. Should I mark this as resolved because I can't recreate the bug myself anymore?
Bug 1721354 Comment 4 Edit History
Note: The actual edited comment in the bug view page will always show the original commenter’s name and original timestamp.
It appears to be fixed after I updated this morning. The divider is also smaller now ([screenshot](https://i.imgur.com/Oj8ueeD.png)). I don't have any special UI preferences enabled, but I am using an external monitor that has a different scaling enabled than the laptop it's running from (100% on monitor, 300% on laptop). Should I mark this as resolved because I can't recreate the bug myself anymore?