export const EXTENSION_ID = 'partialDiff' ; export const EXTENSION_NAMESPACE = 'extension.partialDiff' ; export const EXTENSION_SCHEME = 'partialdiff' ; export const TextKey = { REGISTER1 : 'reg1' , REGISTER2 : 'reg2' , CLIPBOARD : 'clipboard' , VISIBLE_EDITOR1 : 'visible1' , VISIBLE_EDITOR2 : 'visible2' } ;