diff options
| author | Sainal Shah <sainaledava@gmail.com> | 2019-03-10 10:16:59 +0800 |
|---|---|---|
| committer | Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de> | 2019-03-13 07:46:20 +0100 |
| commit | f480c6cb7f41bf38a2259dface77b8cca87ce6ec (patch) | |
| tree | 66b3c1e094b3932cbda4843d4e18a37cae9484c3 /scripting/Jar_ScriptProviderForBeanShell.mk | |
| parent | 8402cd6974bf4dc6318bda39298ac1b56f1923f7 (diff) | |
tdf#123588 Beanshell editor to indicate whether script is saved
Beanshell to enable save button only upon modification of script.
Save button disables after script is successfully saved. Also, save
button will be disabled when there are no undoable changes.
ScriptEditorForBeanShell registers listener for unsaved changes.
PlainSourceView triggers listener calls upon modification of script or
after a successful save, which lets to enable/ disable the save button
accordingly.
Change-Id: I32a2fc473924a7c85cdd6004637ab6a0b60acf38
Reviewed-on: https://gerrit.libreoffice.org/69046
Tested-by: Jenkins
Reviewed-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
Diffstat (limited to 'scripting/Jar_ScriptProviderForBeanShell.mk')
| -rw-r--r-- | scripting/Jar_ScriptProviderForBeanShell.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripting/Jar_ScriptProviderForBeanShell.mk b/scripting/Jar_ScriptProviderForBeanShell.mk index 8bebc2eeb897..e0b4c3ab5776 100644 --- a/scripting/Jar_ScriptProviderForBeanShell.mk +++ b/scripting/Jar_ScriptProviderForBeanShell.mk @@ -33,6 +33,7 @@ $(eval $(call gb_Jar_add_sourcefiles,ScriptProviderForBeanShell,\ scripting/java/com/sun/star/script/framework/provider/beanshell/ScriptProviderForBeanShell \ scripting/java/com/sun/star/script/framework/provider/beanshell/ScriptSourceModel \ scripting/java/com/sun/star/script/framework/provider/beanshell/ScriptSourceView \ + scripting/java/com/sun/star/script/framework/provider/beanshell/UnsavedChangesListener \ )) $(eval $(call gb_Jar_add_packagefile,ScriptProviderForBeanShell,\ |