tldr: Notebook selected "Editor theme (New)" is not being retained after viewing "push code code to repo" screen.
I believe I have the answer to this issue.
What's occurring and why:
1. User selects: View --> Editor theme --> <<theme>> (ie: Monokai)
2. User edits some code in notebook
3. User clicks on repo submit button (immediately right of the notebook title)
4. The repo submit screen presents the diff, prior to "Commit & Push".
Now the issue occurs here - the diff screen highlights the code using the "Databricks default" Editor theme, and immediately after the user exits the diff code submit screen (whether they push the code or not), the "Databricks default" Editor theme is now applied to their notebook code, whether they like it or not, despite their Editor theme of choice (ie: Monokai) being "ticked".
Obviously, one of two things for Databricks HQ to do:
1. In the diff section of repo push screen, show the diff using the user selected Editor theme, or
2. Do not apply the diff screen Editor theme to the user's notebook after exiting the repo push screen
