tree: twistie rendering participant

This commit is contained in:
Joao Moreno
2018-10-04 08:37:19 +01:00
parent 6e2817629b
commit ed287f0588
5 changed files with 96 additions and 20 deletions
+5 -1
View File
@@ -17,6 +17,10 @@
.tl-contents {
flex: 1;
}
.monaco-list-row:hover:not(.selected):not(.focused) {
background: gainsboro !important;
}
</style>
</head>
@@ -133,7 +137,7 @@
element,
collapsible: element.type === 'dir'
}));
c(els);
setTimeout(() => c(els), 2500);
}
};
});
+8
View File
@@ -46,6 +46,14 @@ async function readdir(relativePath) {
}
}
result.sort((a, b) => {
if (a.type === b.type) {
return a.name < b.name ? -1 : 1;
}
return a.type === 'dir' ? -1 : 1;
});
return result;
}