Some WebKit weirdness with the 2023.4.4 / Frontend 20230411.1 Code Editor

The Code Editor did not work for me in any WebKit-based browsers in 2023.3.x. This includes Safari, and also the iOS / Mac Companion app.

203.4.4 fixes this, and I can again view and edit using the Code Editor, BUT… I’ve found two possible bugs:

  1. In the companion app, if I switch to a code editor, and select the contents (either manually or with Command-A), the contents can’t be copied. If you choose the Edit → Copy command, nothing is actually placed on the clipboard. Same for Command-C. Lastly, if you try to right-click the selection, the selection becomes deselected.

  2. In Safari (the latest at time of writing, OS 13.3.1, Safari 16.4), the contents CAN be copied, but when pasted into a text editor, there are no line breaks:

P.S. All of this behaves as expected in Firefox, which is my current workaround.

One other thing… it doesn’t seem possible to rearrange the sidebar in Safari. The drag event is misinterpreted and safari thinks you’re just doing textual drag and drop.

This works fine in the companion app.