| /** | |
| * The plugin's own name, as the engine stamps it on the elements its render | |
| * hooks draw (`ui.press`, `ui.focus`). | |
| */ | |
| export const PLUGIN_NAME = 'diff' | |
| /** | |
| * The plugin's own name, as the engine stamps it on the elements its render | |
| * hooks draw (`ui.press`, `ui.focus`). | |
| */ | |
| export const PLUGIN_NAME = 'diff' | |