Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Added a "window." reference to a global variable in fossil.dom.js to make explicit where the variable is coming from. All the surrounding code does this, and the fix quiets a complaint from GCC. |
|---|---|
| Downloads: | Tarball | ZIP archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
31af8053486909582b1b8fd821ff2f2d |
| User & Date: | wyoung 2020-08-20 20:25:29.440 |
References
|
2020-08-20
| ||
| 21:15 | Same as [31af8053] but in src/copybtn.js, upon which code fossil.copybutton.js was apparently based. This other file may be going away soon, but until then, it avoids a warning. ... (check-in: c0cb0b9d33 user: wyoung tags: trunk) | |
Context
|
2020-08-20
| ||
| 20:40 | Gave the line-number popup (and related popups) a z-level below that of the default skin's hamburger menu. ... (check-in: bbef8ce398 user: stephan tags: trunk) | |
| 20:25 | Added a "window." reference to a global variable in fossil.dom.js to make explicit where the variable is coming from. All the surrounding code does this, and the fix quiets a complaint from GCC. ... (check-in: 31af805348 user: wyoung tags: trunk) | |
| 20:05 | Allow /wikiedit's page-list-fetch operation to silently skip over mysteriously missing (shunned but not yet rebuilt?) wiki pages, to resolve an issue on the core fossil site where such a missing/invisible page named 'Security Desk Technician' is causing /wikiedit to fail to load. ... (check-in: 37409e7dbe user: stephan tags: trunk) | |
Changes
Changes to src/fossil.dom.js.
| ︙ | ︙ | |||
519 520 521 522 523 524 525 |
/**
Attempts to copy the given text to the system clipboard. Returns
true if it succeeds, else false.
*/
dom.copyTextToClipboard = function(text){
if( window.clipboardData && window.clipboardData.setData ){
| | | 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 |
/**
Attempts to copy the given text to the system clipboard. Returns
true if it succeeds, else false.
*/
dom.copyTextToClipboard = function(text){
if( window.clipboardData && window.clipboardData.setData ){
window.clipboardData.setData('Text',text);
return true;
}else{
const x = document.createElement("textarea");
x.style.position = 'fixed';
x.value = text;
document.body.appendChild(x);
x.select();
|
| ︙ | ︙ |