A semantic search engine for source code https://bitshift.benkurtovic.com/
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.
 
 
 
 
 
 

101 regels
3.0 KiB

  1. = extends "layout.html"
  2. = block title
  3. Home
  4. = endblock
  5. = block head
  6. {{ assets.tag("lib/jqueryui.custom.min.css") }}
  7. {{ assets.tag("lib/jquery.min.js") }}
  8. {{ assets.tag("lib/jquery-ui.min.js") }}
  9. {{ assets.tag("index.css") }}
  10. <script>
  11. AUTOCOMPLETE_LANGUAGES = {{ autocomplete_languages | safe }};
  12. </script>
  13. = endblock
  14. = block body
  15. <div id="search-field">
  16. <a id="title" href="/">
  17. <div id="title">
  18. <span id="title-bit">bit</span
  19. ><span id="title-angle">&laquo;</span
  20. ><span id="title-shift">shift</span>
  21. </div>
  22. </a>
  23. <form id="search-bar">
  24. <input type="text" name="query"
  25. ><button id="advanced-search" title="advanced search" type="button">
  26. <img src="static/img/search_bar_magnifying_glass.png">
  27. </button>
  28. <div id="advanced-search">
  29. <div id="heading">
  30. <div id="col1">Fields</div
  31. ><div id="col2">Search groups</div>
  32. </div>
  33. <div id="sidebar">
  34. <ul>
  35. <li>
  36. <input type="checkbox" id="language" checked="true">
  37. <label for="language"><div>languages</div></label>
  38. </li>
  39. <li>
  40. <input type="checkbox" id="author">
  41. <label for="author"><div>authors</div></label>
  42. </li>
  43. <li>
  44. <input type="checkbox" id="date-last-modified">
  45. <label for="date-last-modified"><div>date last modified</div></label>
  46. </li>
  47. <li>
  48. <input type="checkbox" id="date-created">
  49. <label for="date-created"><div>date created</div></label>
  50. </li>
  51. <li>
  52. <input type="checkbox" id="symbol">
  53. <label for="symbol"><div>symbols</div></label>
  54. </li>
  55. <li>
  56. <input type="checkbox" id="function">
  57. <label for="function"><div>functions</div></label>
  58. </li>
  59. <li>
  60. <input type="checkbox" id="class">
  61. <label for="class"><div>classes</div></label>
  62. </li>
  63. <li>
  64. <input type="checkbox" id="variable">
  65. <label for="variable"><div>variables</div></label>
  66. </li>
  67. </ul>
  68. <button id="add-group">
  69. <div><span>+</span> Add</div>
  70. </button>
  71. <button id="remove-group">
  72. <div><span>-</span> Remove</div>
  73. </button>
  74. </div>
  75. <div id="search-groups">
  76. <div class="search-group" id="selected">
  77. <div id="language">
  78. <div class="name">language</div>
  79. <input id="autocomplete" class="language" name="language" type="text">
  80. <input type="checkbox" name="regex">
  81. <span class="regex">Regex</span>
  82. </div>
  83. </div>
  84. </div>
  85. </div>
  86. </form>
  87. </div>
  88. <div id="results"></div>
  89. {{ assets.tag("index.js") }}
  90. {{ assets.tag("index.advanced-search-form.js") }}
  91. = endblock