Add reverse color option to text diff editor (#4826)

* Add reverse color option to text diff editor
This commit is contained in:
kisantia
2019-04-09 16:26:41 -07:00
committed by GitHub
parent b3be1d79cd
commit f98428aea5
5 changed files with 80 additions and 3 deletions

View File

@@ -744,6 +744,12 @@ export interface IDiffEditorOptions extends IEditorOptions {
* Defaults to false.
*/
originalEditable?: boolean;
// {{SQL CARBON EDIT}}
/**
* Adding option to reverse coloring in diff editor
*/
reverse?: boolean;
}
export const enum RenderMinimap {