jupyterlab_vscode_icons_extension 1.1.45 → 1.1.49
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/index.js +11 -1
- package/package.json +1 -1
- package/src/index.ts +11 -1
package/lib/index.js
CHANGED
|
@@ -886,9 +886,19 @@ const plugin = {
|
|
|
886
886
|
item.setAttribute('data-pytest', 'true');
|
|
887
887
|
}
|
|
888
888
|
// Mark executable files if setting is enabled (uses server API for +x detection)
|
|
889
|
+
// Only show executable icon for shell scripts or files without a specific type
|
|
889
890
|
item.removeAttribute('data-executable');
|
|
890
891
|
if (settings.enableExecutableIcons && executables.has(name)) {
|
|
891
|
-
|
|
892
|
+
const shellTypes = [
|
|
893
|
+
'vscode-shell',
|
|
894
|
+
'vscode-batch',
|
|
895
|
+
'vscode-file-type-powershell'
|
|
896
|
+
];
|
|
897
|
+
const isShellScript = shellTypes.includes(fileType);
|
|
898
|
+
const hasNoSpecificType = !fileType || fileType === 'file' || fileType === '';
|
|
899
|
+
if (isShellScript || hasNoSpecificType) {
|
|
900
|
+
item.setAttribute('data-executable', 'true');
|
|
901
|
+
}
|
|
892
902
|
}
|
|
893
903
|
// Check if this is a directory (folder)
|
|
894
904
|
const isDir = fileType === 'directory' ||
|
package/package.json
CHANGED
package/src/index.ts
CHANGED
|
@@ -979,9 +979,19 @@ const plugin: JupyterFrontEndPlugin<void> = {
|
|
|
979
979
|
}
|
|
980
980
|
|
|
981
981
|
// Mark executable files if setting is enabled (uses server API for +x detection)
|
|
982
|
+
// Only show executable icon for shell scripts or files without a specific type
|
|
982
983
|
item.removeAttribute('data-executable');
|
|
983
984
|
if (settings.enableExecutableIcons && executables.has(name)) {
|
|
984
|
-
|
|
985
|
+
const shellTypes = [
|
|
986
|
+
'vscode-shell',
|
|
987
|
+
'vscode-batch',
|
|
988
|
+
'vscode-file-type-powershell'
|
|
989
|
+
];
|
|
990
|
+
const isShellScript = shellTypes.includes(fileType);
|
|
991
|
+
const hasNoSpecificType = !fileType || fileType === 'file' || fileType === '';
|
|
992
|
+
if (isShellScript || hasNoSpecificType) {
|
|
993
|
+
item.setAttribute('data-executable', 'true');
|
|
994
|
+
}
|
|
985
995
|
}
|
|
986
996
|
|
|
987
997
|
// Check if this is a directory (folder)
|