32cea5ceeb0f16ead13364fac0c3214d.js 7.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  1. ace.define("ace/ext/code_lens",["require","exports","module","ace/lib/event","ace/lib/lang","ace/lib/dom","ace/editor","ace/config"], function(require, exports, module){"use strict";
  2. var event = require("../lib/event");
  3. var lang = require("../lib/lang");
  4. var dom = require("../lib/dom");
  5. function clearLensElements(renderer) {
  6. var textLayer = renderer.$textLayer;
  7. var lensElements = textLayer.$lenses;
  8. if (lensElements)
  9. lensElements.forEach(function (el) { el.remove(); });
  10. textLayer.$lenses = null;
  11. }
  12. function renderWidgets(changes, renderer) {
  13. var changed = changes & renderer.CHANGE_LINES
  14. || changes & renderer.CHANGE_FULL
  15. || changes & renderer.CHANGE_SCROLL
  16. || changes & renderer.CHANGE_TEXT;
  17. if (!changed)
  18. return;
  19. var session = renderer.session;
  20. var lineWidgets = renderer.session.lineWidgets;
  21. var textLayer = renderer.$textLayer;
  22. var lensElements = textLayer.$lenses;
  23. if (!lineWidgets) {
  24. if (lensElements)
  25. clearLensElements(renderer);
  26. return;
  27. }
  28. var textCells = renderer.$textLayer.$lines.cells;
  29. var config = renderer.layerConfig;
  30. var padding = renderer.$padding;
  31. if (!lensElements)
  32. lensElements = textLayer.$lenses = [];
  33. var index = 0;
  34. for (var i = 0; i < textCells.length; i++) {
  35. var row = textCells[i].row;
  36. var widget = lineWidgets[row];
  37. var lenses = widget && widget.lenses;
  38. if (!lenses || !lenses.length)
  39. continue;
  40. var lensContainer = lensElements[index];
  41. if (!lensContainer) {
  42. lensContainer = lensElements[index]
  43. = dom.buildDom(["div", { class: "ace_codeLens" }], renderer.container);
  44. }
  45. lensContainer.style.height = config.lineHeight + "px";
  46. index++;
  47. for (var j = 0; j < lenses.length; j++) {
  48. var el = lensContainer.childNodes[2 * j];
  49. if (!el) {
  50. if (j != 0)
  51. lensContainer.appendChild(dom.createTextNode("\xa0|\xa0"));
  52. el = dom.buildDom(["a"], lensContainer);
  53. }
  54. el.textContent = lenses[j].title;
  55. el.lensCommand = lenses[j];
  56. }
  57. while (lensContainer.childNodes.length > 2 * j - 1)
  58. lensContainer.lastChild.remove();
  59. var top = renderer.$cursorLayer.getPixelPosition({
  60. row: row,
  61. column: 0
  62. }, true).top - config.lineHeight * widget.rowsAbove - config.offset;
  63. lensContainer.style.top = top + "px";
  64. var left = renderer.gutterWidth;
  65. var indent = session.getLine(row).search(/\S|$/);
  66. if (indent == -1)
  67. indent = 0;
  68. left += indent * config.characterWidth;
  69. lensContainer.style.paddingLeft = padding + left + "px";
  70. }
  71. while (index < lensElements.length)
  72. lensElements.pop().remove();
  73. }
  74. function clearCodeLensWidgets(session) {
  75. if (!session.lineWidgets)
  76. return;
  77. var widgetManager = session.widgetManager;
  78. session.lineWidgets.forEach(function (widget) {
  79. if (widget && widget.lenses)
  80. widgetManager.removeLineWidget(widget);
  81. });
  82. }
  83. exports.setLenses = function (session, lenses) {
  84. var firstRow = Number.MAX_VALUE;
  85. clearCodeLensWidgets(session);
  86. lenses && lenses.forEach(function (lens) {
  87. var row = lens.start.row;
  88. var column = lens.start.column;
  89. var widget = session.lineWidgets && session.lineWidgets[row];
  90. if (!widget || !widget.lenses) {
  91. widget = session.widgetManager.$registerLineWidget({
  92. rowCount: 1,
  93. rowsAbove: 1,
  94. row: row,
  95. column: column,
  96. lenses: []
  97. });
  98. }
  99. widget.lenses.push(lens.command);
  100. if (row < firstRow)
  101. firstRow = row;
  102. });
  103. session._emit("changeFold", { data: { start: { row: firstRow } } });
  104. return firstRow;
  105. };
  106. function attachToEditor(editor) {
  107. editor.codeLensProviders = [];
  108. editor.renderer.on("afterRender", renderWidgets);
  109. if (!editor.$codeLensClickHandler) {
  110. editor.$codeLensClickHandler = function (e) {
  111. var command = e.target.lensCommand;
  112. if (!command)
  113. return;
  114. editor.execCommand(command.id, command.arguments);
  115. editor._emit("codeLensClick", e);
  116. };
  117. event.addListener(editor.container, "click", editor.$codeLensClickHandler, editor);
  118. }
  119. editor.$updateLenses = function () {
  120. var session = editor.session;
  121. if (!session)
  122. return;
  123. var providersToWaitNum = editor.codeLensProviders.length;
  124. var lenses = [];
  125. editor.codeLensProviders.forEach(function (provider) {
  126. provider.provideCodeLenses(session, function (err, payload) {
  127. if (err)
  128. return;
  129. payload.forEach(function (lens) {
  130. lenses.push(lens);
  131. });
  132. providersToWaitNum--;
  133. if (providersToWaitNum == 0) {
  134. applyLenses();
  135. }
  136. });
  137. });
  138. function applyLenses() {
  139. var cursor = session.selection.cursor;
  140. var oldRow = session.documentToScreenRow(cursor);
  141. var scrollTop = session.getScrollTop();
  142. var firstRow = exports.setLenses(session, lenses);
  143. var lastDelta = session.$undoManager && session.$undoManager.$lastDelta;
  144. if (lastDelta && lastDelta.action == "remove" && lastDelta.lines.length > 1)
  145. return;
  146. var row = session.documentToScreenRow(cursor);
  147. var lineHeight = editor.renderer.layerConfig.lineHeight;
  148. var top = session.getScrollTop() + (row - oldRow) * lineHeight;
  149. if (firstRow == 0 && scrollTop < lineHeight / 4 && scrollTop > -lineHeight / 4) {
  150. top = -lineHeight;
  151. }
  152. session.setScrollTop(top);
  153. }
  154. };
  155. var updateLenses = lang.delayedCall(editor.$updateLenses);
  156. editor.$updateLensesOnInput = function () {
  157. updateLenses.delay(250);
  158. };
  159. editor.on("input", editor.$updateLensesOnInput);
  160. }
  161. function detachFromEditor(editor) {
  162. editor.off("input", editor.$updateLensesOnInput);
  163. editor.renderer.off("afterRender", renderWidgets);
  164. if (editor.$codeLensClickHandler)
  165. editor.container.removeEventListener("click", editor.$codeLensClickHandler);
  166. }
  167. exports.registerCodeLensProvider = function (editor, codeLensProvider) {
  168. editor.setOption("enableCodeLens", true);
  169. editor.codeLensProviders.push(codeLensProvider);
  170. editor.$updateLensesOnInput();
  171. };
  172. exports.clear = function (session) {
  173. exports.setLenses(session, null);
  174. };
  175. var Editor = require("../editor").Editor;
  176. require("../config").defineOptions(Editor.prototype, "editor", {
  177. enableCodeLens: {
  178. set: function (val) {
  179. if (val) {
  180. attachToEditor(this);
  181. }
  182. else {
  183. detachFromEditor(this);
  184. }
  185. }
  186. }
  187. });
  188. dom.importCssString("\n.ace_codeLens {\n position: absolute;\n color: #aaa;\n font-size: 88%;\n background: inherit;\n width: 100%;\n display: flex;\n align-items: flex-end;\n pointer-events: none;\n}\n.ace_codeLens > a {\n cursor: pointer;\n pointer-events: auto;\n}\n.ace_codeLens > a:hover {\n color: #0000ff;\n text-decoration: underline;\n}\n.ace_dark > .ace_codeLens > a:hover {\n color: #4e94ce;\n}\n", "codelense.css", false);
  189. }); (function() {
  190. ace.require(["ace/ext/code_lens"], function(m) {
  191. if (typeof module == "object" && typeof exports == "object" && module) {
  192. module.exports = m;
  193. }
  194. });
  195. })();