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.
 
 
 
 
 
 

114 lines
3.2 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("lib/typeahead.bundle.min.js") }}
  10. {{ assets.tag("index.css") }}
  11. <script>
  12. TYPEAHEAD_LANGUAGES = {{ typeahead_languages | safe }};
  13. </script>
  14. = endblock
  15. = block body
  16. <div id="search-field" class="partly-visible">
  17. <a id="title" href="/">
  18. <div id="title">
  19. <span id="title-bit">bit</span
  20. ><span id="title-angle">&laquo;</span
  21. ><span id="title-shift">shift</span>
  22. </div>
  23. </a>
  24. <form id="search-bar">
  25. <input type="text" name="query"
  26. ><button id="advanced-search" title="advanced search">
  27. <img src="static/img/search_bar_magnifying_glass.png">
  28. </button>
  29. <div id="advanced-search">
  30. <!-- Tags are closed on the following line to remove whitespace between divs. -->
  31. <div id="col1">
  32. <div id="group-count">
  33. <span id="current">1</span
  34. ><span id="seperator">/</span
  35. ><span id="total">1</span>
  36. </div>
  37. <div id="group-selector">
  38. <div id="previous-group"></div>
  39. <div></div>
  40. <div id="next-group"></div>
  41. </div>
  42. <div id="add-group">
  43. <span>+</span>
  44. </div>
  45. </div
  46. ><div id="col2">
  47. <div id="upper-half">
  48. <div id="col1">
  49. <ul>
  50. <li>
  51. <label for="languages">Languages</label>
  52. <input type="text" name="languages" id="languages" class="typeahead"><br>
  53. </li>
  54. <li>
  55. <label for="authors">Authors</label>
  56. <input type="text" name="authors" id="authors"><br>
  57. </li>
  58. </ul>
  59. </div><div id="col2">
  60. <ul>
  61. <li>
  62. <label for="date-last-modified">Date last modified</label>
  63. <input type="text" name="date-last-modified" id="date-last-modified">
  64. </li>
  65. <li>
  66. <label for="date-created">Date created</label>
  67. <input type="text" name="date-created" id="date-created">
  68. </li>
  69. </ul>
  70. </div>
  71. </div>
  72. <div id="lower-half">
  73. <ul>
  74. <li>
  75. <label for="symbols">Symbols</label>
  76. <input class="typeahead" type="text" name="symbols" id="symbols"><br>
  77. </li>
  78. <li>
  79. <label for="functions">Functions</label>
  80. <input type="text" name="functions" id="functions"><br>
  81. </li>
  82. <li>
  83. <label for="classes">Classes</label>
  84. <input type="text" name="classes" id="classes"><br>
  85. </li>
  86. <li>
  87. <label for="variables">Variables</label>
  88. <input type="text" name="variables" id="variables"><br>
  89. </li>
  90. </ul>
  91. </div>
  92. </div>
  93. </div>
  94. </form>
  95. </div>
  96. <div id="results"></div>
  97. {{ assets.tag("index.js") }}
  98. = endblock