Contains the Concourse pipeline definition for building a line-server container
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

64 lines
2.1 KiB

  1. var navlist = document.getElementById("info").getElementsByClassName("right")[0];
  2. init();
  3. function init() {
  4. var editA = document.createElement('a');
  5. editA.setAttribute("href", "#");
  6. editA.addEventListener('click', function(ev) {
  7. edit(ev);
  8. return false;
  9. });
  10. editA.innerHTML = "edit";
  11. var separator = document.createTextNode(" | ");
  12. navlist.insertBefore(editA, navlist.firstChild);
  13. navlist.insertBefore(separator, navlist.children[1]);
  14. var lang = document.getElementById('editor').getAttribute('data-lang');
  15. var editor = ace.edit("editor");
  16. editor.getSession().setMode("ace/mode/" + lang);
  17. editor.setTheme("ace/theme/tomorrow");
  18. document.getElementById('save').addEventListener('click', paste);
  19. document.getElementById('wordwrap').addEventListener('click', wrap);
  20. }
  21. function edit(ev) {
  22. navlist.remove();
  23. document.getElementById("filename").remove();
  24. document.getElementById("editform").style.display = "block";
  25. var normalcontent = document.getElementById("normal-content");
  26. normalcontent.removeChild(document.getElementById("normal-code"));
  27. var editordiv = document.getElementById("editor");
  28. editordiv.style.display = "block";
  29. var editor = ace.edit("editor");
  30. editor.commands.bindKeys({"ctrl-l":null, 'Command-L': null, 'ctrl-R': null, 'Command-R': null, 'Ctrl-Shift-R': null, 'Command-Shift-R': null});
  31. editor.commands.addCommand({name: ' ', bindKey: {win: 'Ctrl-S', mac: 'Command-S'}, exec: function() { paste(); } });
  32. }
  33. function paste(ev) {
  34. document.getElementById("newcontent").value = editor.getSession().getValue();
  35. document.forms["reply"].submit();
  36. }
  37. function wrap(ev) {
  38. if (document.getElementById("wordwrap").checked) {
  39. document.getElementById("codeb").style.wordWrap = "break-word";
  40. document.getElementById("codeb").style.whiteSpace = "pre-wrap";
  41. }
  42. else {
  43. document.getElementById("codeb").style.wordWrap = "normal";
  44. document.getElementById("codeb").style.whiteSpace = "pre";
  45. }
  46. }