diff options
| author | Florian Zschocke <f.zschocke+git@gmail.com> | 2022-11-21 21:14:56 +0100 |
|---|---|---|
| committer | Florian Zschocke <f.zschocke+git@gmail.com> | 2022-12-03 14:33:31 +0100 |
| commit | c04ddf554f3f2c77e268468a43dd645a8b565074 (patch) | |
| tree | 6db83a55d77dcdddaa6ac003a0ff0392b229d09c /src/main/distrib/data/defaults.properties | |
| parent | f4c4030cf6e192217a53c470674a14f811868b7a (diff) | |
| download | gitblit-c04ddf554f3f2c77e268468a43dd645a8b565074.tar.gz gitblit-c04ddf554f3f2c77e268468a43dd645a8b565074.zip | |
Remove clippy.swf and update documentation
The `clippy.swf` Flash program is no longer needed and can be deleted.
The configuration property is now incorrectly named, but we keep the
name and update the documentation. Maybe it could be completely deleted
one day, when the clipboard.js solution is known to work and be universally
supported.
Diffstat (limited to 'src/main/distrib/data/defaults.properties')
| -rw-r--r-- | src/main/distrib/data/defaults.properties | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties index 0d072b58..b62285fd 100644 --- a/src/main/distrib/data/defaults.properties +++ b/src/main/distrib/data/defaults.properties @@ -1076,7 +1076,11 @@ web.allowForking = true # SINCE 1.2.0 web.shortCommitIdLength = 6 -# Use Clippy (Flash solution) to provide a copy-to-clipboard button. +# Use a JavaScript browser API to provide a copy-to-clipboard button. +# The clipboard.js library is used to copy text directly to the browser's +# clipboard. +# (This used to be done with a Flash based solution, but has been replaced +# with a modern JavaScript approach, since Flash support is dying out.) # If false, a button with a more primitive JavaScript-based prompt box will # offer a 3-step (click, ctrl+c, enter) copy-to-clipboard alternative. # |