Code-DJ

push_pin is also missing.

@austincondiff are you able to recreate this on main branch? https://user-images.githubusercontent.com/8212554/220164847-9e1abba5-6003-41ba-a6e7-b53850bac4bd.mp4

This doesn't work for multi-project windows. Will look into it. Thanks!

@austincondiff I did a sync fork which brought in a new commit in this PR. Is this okay - not sure if I should have done that.

Added screen recording above. In hindsight, should have used the mouse to quit the app instead of cmd+Q.

Ready for review. Will create a new PR for remaining items after this one is merged.

> My only concern is what happens when the user decides to delete CodeEdit, do these states stay on the machine? Or is UserDefault a thing that is encapsulated in...

> Fix failed tests Rebased the fork which resolved the build issue. A couple of variable definitions were missing from the file in my fork. Verified that it builds correctly.

@austincondiff I have a fix for this. Can I submit a PR?

> @Code-DJ would you be able to look at this? Yes I can take a stab at it. I assume, right now, Workspace = Open Folder, so all the settings...