GitHub-Proxy/v_jstools
1
0
Fork 0
mirror of https://git.mirrors.martin98.com/https://github.com/cilame/v_jstools synced 2025-08-14 19:45:57 +08:00
Code Issues Packages Projects Releases Wiki Activity

add

Browse Source
This commit is contained in:
cilame 2022-10-28 12:36:55 +08:00
parent 9b1ee5b098
commit e483915f2c
2 changed files with 48 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
diff_text.html
View File

@ -7,9 +7,9 @@
<body>
<label>文本对比工具</label>
<button onclick="initUI()">折叠相同内容</button>
<button onclick="panes=2;initUI()">两文本对比</button>
<button onclick="panes=3;initUI()">三文本对比</button>
<button id="diff_0" >折叠相同内容</button>
<button id="diff_1" >两文本对比</button>
<button id="diff_2" >三文本对比</button>
<hr>
<div id="view" style="height: 100%"></div>

46
tools/diff_text.js
View File

@ -29,11 +29,36 @@ function initUI() {
// connect: connect,
collapseIdentical: false,
allowEditingOriginals: true,
// onChange: function (cm) {
// console.log(cm.getValue());
// },
});
var left = dv.leftOriginal()
var curr = dv.editor()
var right = dv.rightOriginal()
function changer(_saver, cm) {
chrome.storage.local.set({
[_saver]: cm.getValue(),
})
}
curr.on('change', changer.bind(null, 'diff_value'))
if (left){ left.on('change', changer.bind(null, 'diff_orig1')) }
if (right){ right.on('change', changer.bind(null, 'diff_orig2')) }
resize(dv, window.innerHeight-100)
}
initUI();
window.onload = function(){
chrome.storage.local.get([
'diff_value',
'diff_orig1',
'diff_orig2',
], function (result) {
value = result['diff_value'] || ''
orig1 = result['diff_orig1'] || ''
orig2 = result['diff_orig2'] || ''
initUI();
})
}
window.onresize = function(){
resize(dv, window.innerHeight-100)
}
@ -47,4 +72,23 @@ function resize(mergeView, height) {
mergeView.rightOriginal().setSize(null, height);
}
mergeView.wrap.style.height = height + "px";
}
var diff_0 = document.getElementById('diff_0')
if(diff_0){
diff_0.addEventListener('click', function(){
initUI()
})
}
var diff_1 = document.getElementById('diff_1')
if(diff_1){
diff_1.addEventListener('click', function(){
panes=2;initUI()
})
}
var diff_2 = document.getElementById('diff_2')
if(diff_2){
diff_2.addEventListener('click', function(){
panes=3;initUI()
})
}