diff options
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. # |