Use theme.editor.diff for the colors

6b4242cdedPetros Amoiridis committed on 5/11/2023, 12:37:36 AM· committed by Mikayla Makiparentf935047
1 file changedLine totals unavailable