Merge remote-tracking branch 'origin/tracking' into custom

This commit is contained in:
roytam1 2025-07-08 10:02:11 +08:00
commit fbb39ce322
65 changed files with 188 additions and 193 deletions

View file

@ -20,7 +20,7 @@
#results {
margin: 5px;
background-color: window;
-moz-user-select: text;
user-select: text;
}
#summary {

View file

@ -4096,7 +4096,7 @@ if(dojo.isIE || dojo.isOpera){
// selectable:
node = d.byId(node);
if(d.isMozilla){
node.style.MozUserSelect = selectable ? "" : "none";
node.style.UserSelect = selectable ? "" : "none";
}else if(d.isKhtml){
node.style.KhtmlUserSelect = selectable ? "auto" : "none";
}else if(d.isIE){

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long