jorts/wiki
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

make buttons work better

Browse Source
This commit is contained in:
jorts 2025-08-06 18:24:08 +01:00
parent 3f8439c6e8
commit af797811de
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
docs/assets/extra.js
View File

@ -431,20 +431,20 @@ function createSourcePaneHeader() {
const links = document.createElement('div');
links.className = 'source-pane-links';
// Original button
const originalBtn = document.createElement('a');
originalBtn.className = 'source-control-btn source-control-original';
originalBtn.target = '_blank';
originalBtn.innerHTML = '<span class="icon">↗</span>original';
// Archive button
const archiveBtn = document.createElement('a');
archiveBtn.className = 'source-control-btn source-control-archive';
archiveBtn.target = '_blank';
archiveBtn.innerHTML = '<span class="icon">↗</span>archive';
archiveBtn.innerHTML = '<span class="icon">↗</span>Open this archive copy';
// Original button
const originalBtn = document.createElement('a');
originalBtn.className = 'source-control-btn source-control-original';
originalBtn.target = '_blank';
originalBtn.innerHTML = '<span class="icon">↗</span>View original';
links.appendChild(originalBtn);
links.appendChild(archiveBtn);
links.appendChild(originalBtn);
// Right side - close button only
const controls = document.createElement('div');