@opensumi/ide-terminal-next 3.5.1-next-1731490907.0 → 3.5.1-next-1731638201.0

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.
Files changed (158) hide show
  1. package/lib/browser/component/resize.delegate.js.map +1 -1
  2. package/lib/browser/component/resize.view.js +1 -1
  3. package/lib/browser/component/resize.view.js.map +1 -1
  4. package/lib/browser/component/tab.item.js.map +1 -1
  5. package/lib/browser/component/tab.view.js.map +1 -1
  6. package/lib/browser/component/terminal.variable.js.map +1 -1
  7. package/lib/browser/component/terminal.view.js.map +1 -1
  8. package/lib/browser/component/terminal.widget.js.map +1 -1
  9. package/lib/browser/contribution/terminal.command.js +24 -8
  10. package/lib/browser/contribution/terminal.command.js.map +1 -1
  11. package/lib/browser/contribution/terminal.keybinding.js +2 -2
  12. package/lib/browser/contribution/terminal.keybinding.js.map +1 -1
  13. package/lib/browser/contribution/terminal.lifecycle.js +2 -2
  14. package/lib/browser/contribution/terminal.lifecycle.js.map +1 -1
  15. package/lib/browser/contribution/terminal.menu.js +2 -2
  16. package/lib/browser/contribution/terminal.menu.js.map +1 -1
  17. package/lib/browser/contribution/terminal.network.js +2 -2
  18. package/lib/browser/contribution/terminal.network.js.map +1 -1
  19. package/lib/browser/contribution/terminal.preference.js +7 -4
  20. package/lib/browser/contribution/terminal.preference.js.map +1 -1
  21. package/lib/browser/contribution/terminal.view.js +2 -2
  22. package/lib/browser/contribution/terminal.view.js.map +1 -1
  23. package/lib/browser/index.js +2 -2
  24. package/lib/browser/index.js.map +1 -1
  25. package/lib/browser/links/external-link-provider-adapter.js +2 -2
  26. package/lib/browser/links/external-link-provider-adapter.js.map +1 -1
  27. package/lib/browser/links/helpers.js +4 -5
  28. package/lib/browser/links/helpers.js.map +1 -1
  29. package/lib/browser/links/link-manager.js +2 -2
  30. package/lib/browser/links/link-manager.js.map +1 -1
  31. package/lib/browser/links/link.js +2 -2
  32. package/lib/browser/links/link.js.map +1 -1
  33. package/lib/browser/links/protocol-link-provider.js +2 -2
  34. package/lib/browser/links/protocol-link-provider.js.map +1 -1
  35. package/lib/browser/links/validated-local-link-provider.js +7 -7
  36. package/lib/browser/links/validated-local-link-provider.js.map +1 -1
  37. package/lib/browser/terminal.addon.js.map +1 -1
  38. package/lib/browser/terminal.api.js +2 -2
  39. package/lib/browser/terminal.api.js.map +1 -1
  40. package/lib/browser/terminal.client.d.ts +0 -1
  41. package/lib/browser/terminal.client.d.ts.map +1 -1
  42. package/lib/browser/terminal.client.js +17 -7
  43. package/lib/browser/terminal.client.js.map +1 -1
  44. package/lib/browser/terminal.color.js +2 -2
  45. package/lib/browser/terminal.color.js.map +1 -1
  46. package/lib/browser/terminal.context-key.js +2 -2
  47. package/lib/browser/terminal.context-key.js.map +1 -1
  48. package/lib/browser/terminal.context-menu.d.ts +0 -1
  49. package/lib/browser/terminal.context-menu.d.ts.map +1 -1
  50. package/lib/browser/terminal.context-menu.js +2 -2
  51. package/lib/browser/terminal.context-menu.js.map +1 -1
  52. package/lib/browser/terminal.controller.d.ts +0 -1
  53. package/lib/browser/terminal.controller.d.ts.map +1 -1
  54. package/lib/browser/terminal.controller.js +14 -9
  55. package/lib/browser/terminal.controller.js.map +1 -1
  56. package/lib/browser/terminal.environment.service.js +2 -2
  57. package/lib/browser/terminal.environment.service.js.map +1 -1
  58. package/lib/browser/terminal.error.js +2 -2
  59. package/lib/browser/terminal.error.js.map +1 -1
  60. package/lib/browser/terminal.ext.host.proxy.js.map +1 -1
  61. package/lib/browser/terminal.hover.manager.js +2 -2
  62. package/lib/browser/terminal.hover.manager.js.map +1 -1
  63. package/lib/browser/terminal.input.js +2 -2
  64. package/lib/browser/terminal.input.js.map +1 -1
  65. package/lib/browser/terminal.internal.service.d.ts +0 -1
  66. package/lib/browser/terminal.internal.service.d.ts.map +1 -1
  67. package/lib/browser/terminal.internal.service.js +2 -2
  68. package/lib/browser/terminal.internal.service.js.map +1 -1
  69. package/lib/browser/terminal.network.js +2 -2
  70. package/lib/browser/terminal.network.js.map +1 -1
  71. package/lib/browser/terminal.preference.js +7 -3
  72. package/lib/browser/terminal.preference.js.map +1 -1
  73. package/lib/browser/terminal.profile.internal.js +2 -2
  74. package/lib/browser/terminal.profile.internal.js.map +1 -1
  75. package/lib/browser/terminal.profile.js +3 -3
  76. package/lib/browser/terminal.profile.js.map +1 -1
  77. package/lib/browser/terminal.render.d.ts +0 -1
  78. package/lib/browser/terminal.render.d.ts.map +1 -1
  79. package/lib/browser/terminal.render.js +2 -2
  80. package/lib/browser/terminal.render.js.map +1 -1
  81. package/lib/browser/terminal.restore.js +2 -2
  82. package/lib/browser/terminal.restore.js.map +1 -1
  83. package/lib/browser/terminal.search.js +2 -2
  84. package/lib/browser/terminal.search.js.map +1 -1
  85. package/lib/browser/terminal.service.js +6 -3
  86. package/lib/browser/terminal.service.js.map +1 -1
  87. package/lib/browser/terminal.theme.js +2 -2
  88. package/lib/browser/terminal.theme.js.map +1 -1
  89. package/lib/browser/terminal.typeAhead.addon.d.ts.map +1 -1
  90. package/lib/browser/terminal.typeAhead.addon.js +7 -4
  91. package/lib/browser/terminal.typeAhead.addon.js.map +1 -1
  92. package/lib/browser/terminal.typeAhead.ext.d.ts +186 -186
  93. package/lib/browser/terminal.typeAhead.ext.d.ts.map +1 -1
  94. package/lib/browser/terminal.typeAhead.ext.js +1 -1
  95. package/lib/browser/terminal.typeAhead.ext.js.map +1 -1
  96. package/lib/browser/terminal.view.js +2 -2
  97. package/lib/browser/terminal.view.js.map +1 -1
  98. package/lib/browser/xterm.js +14 -5
  99. package/lib/browser/xterm.js.map +1 -1
  100. package/lib/common/controller.d.ts +0 -1
  101. package/lib/common/controller.d.ts.map +1 -1
  102. package/lib/common/environmentVariable.js +5 -5
  103. package/lib/common/environmentVariable.js.map +1 -1
  104. package/lib/common/environmentVariableCollection.js.map +1 -1
  105. package/lib/common/error.js +3 -3
  106. package/lib/common/error.js.map +1 -1
  107. package/lib/common/extension.js +1 -1
  108. package/lib/common/extension.js.map +1 -1
  109. package/lib/common/link-computer.js +2 -2
  110. package/lib/common/link-computer.js.map +1 -1
  111. package/lib/common/network.js +1 -1
  112. package/lib/common/network.js.map +1 -1
  113. package/lib/common/preference.js +2 -2
  114. package/lib/common/preference.js.map +1 -1
  115. package/lib/common/profile.js +2 -2
  116. package/lib/common/profile.js.map +1 -1
  117. package/lib/common/pty.js +2 -2
  118. package/lib/common/pty.js.map +1 -1
  119. package/lib/common/render.d.ts +0 -1
  120. package/lib/common/render.d.ts.map +1 -1
  121. package/lib/common/render.js +1 -1
  122. package/lib/common/render.js.map +1 -1
  123. package/lib/common/shell.js +1 -1
  124. package/lib/common/shell.js.map +1 -1
  125. package/lib/common/xterm.js +1 -1
  126. package/lib/common/xterm.js.map +1 -1
  127. package/lib/node/index.js +2 -2
  128. package/lib/node/index.js.map +1 -1
  129. package/lib/node/pty.js +2 -2
  130. package/lib/node/pty.js.map +1 -1
  131. package/lib/node/pty.manager.js +2 -2
  132. package/lib/node/pty.manager.js.map +1 -1
  133. package/lib/node/pty.manager.remote.d.ts +0 -1
  134. package/lib/node/pty.manager.remote.d.ts.map +1 -1
  135. package/lib/node/pty.manager.remote.js +2 -2
  136. package/lib/node/pty.manager.remote.js.map +1 -1
  137. package/lib/node/pty.proxy.d.ts +0 -1
  138. package/lib/node/pty.proxy.d.ts.map +1 -1
  139. package/lib/node/pty.proxy.js.map +1 -1
  140. package/lib/node/shell-integration.service.js +2 -2
  141. package/lib/node/shell-integration.service.js.map +1 -1
  142. package/lib/node/shell.d.ts +0 -1
  143. package/lib/node/shell.d.ts.map +1 -1
  144. package/lib/node/shell.js +9 -9
  145. package/lib/node/shell.js.map +1 -1
  146. package/lib/node/terminal.process.service.d.ts +0 -1
  147. package/lib/node/terminal.process.service.d.ts.map +1 -1
  148. package/lib/node/terminal.process.service.js +2 -2
  149. package/lib/node/terminal.process.service.js.map +1 -1
  150. package/lib/node/terminal.profile.service.js +2 -2
  151. package/lib/node/terminal.profile.service.js.map +1 -1
  152. package/lib/node/terminal.service.client.js +2 -2
  153. package/lib/node/terminal.service.client.js.map +1 -1
  154. package/lib/node/terminal.service.js +2 -2
  155. package/lib/node/terminal.service.js.map +1 -1
  156. package/package.json +18 -18
  157. package/src/browser/component/resize.view.tsx +8 -8
  158. package/src/browser/component/tab.view.tsx +13 -13
@@ -45,19 +45,19 @@ export default () => {
45
45
  <Scrollbars forwardedRef={(el) => (el ? (tabContainer.current = el.ref) : null)}>
46
46
  <div className={styles_tab_contents}>
47
47
  {groups.filter(Boolean).map((group, index) => (
48
- <TabItem
49
- key={group.id}
50
- group={group}
51
- selected={currentGroup && currentGroup.id === group.id}
52
- onInputBlur={() => group.unedit()}
53
- onInputEnter={(_: string, name: string) => group.rename(name)}
54
- onClick={() => view.selectGroup(index)}
55
- onClose={() => view.removeGroup(index)}
56
- onContextMenu={(event) => menuService.onTabContextMenu(event, index)}
57
- provider={provider}
58
- theme={theme}
59
- ></TabItem>
60
- ))}
48
+ <TabItem
49
+ key={group.id}
50
+ group={group}
51
+ selected={currentGroup && currentGroup.id === group.id}
52
+ onInputBlur={() => group.unedit()}
53
+ onInputEnter={(_: string, name: string) => group.rename(name)}
54
+ onClick={() => view.selectGroup(index)}
55
+ onClose={() => view.removeGroup(index)}
56
+ onContextMenu={(event) => menuService.onTabContextMenu(event, index)}
57
+ provider={provider}
58
+ theme={theme}
59
+ ></TabItem>
60
+ ))}
61
61
  <div className={styles.button}>
62
62
  <TabItem
63
63
  type={ItemType.add}