A semantic search engine for source code https://bitshift.benkurtovic.com/
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.

index.html 3.8 KiB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122
  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/highlight.css") }}
  10. {{ assets.tag("index.css") }}
  11. <script>
  12. AUTOCOMPLETE_LANGUAGES = {{ autocomplete_languages | safe }};
  13. </script>
  14. = endblock
  15. = block body
  16. <div id="search-field">
  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 id="query" type="text" name="query"
  26. ><button id="advanced-search" title="advanced search" type="button">
  27. Adv. Search
  28. <!-- <img src="img/index/search_bar_magnifying_glass.png"> -->
  29. </button>
  30. <div id="advanced-search">
  31. <div id="heading">
  32. <div id="col1">Fields</div
  33. ><div id="col2">
  34. Search groups
  35. <button id="submit">
  36. <div>Search</div>
  37. </button>
  38. <button id="add-group">
  39. <div><span>+</span> Add</div>
  40. </button>
  41. <button id="remove-group">
  42. <div><span>-</span> Remove</div>
  43. </button>
  44. </div>
  45. </div>
  46. <div id="sidebar">
  47. <ul>
  48. <li>
  49. <input type="checkbox" id="language" checked="true">
  50. <label for="language"><div>languages</div></label>
  51. </li>
  52. <li>
  53. <input type="checkbox" id="author">
  54. <label for="author"><div>authors</div></label>
  55. </li>
  56. <li>
  57. <input type="checkbox" id="date-last-modified">
  58. <label for="date-last-modified"><div>date last modified</div></label>
  59. </li>
  60. <li>
  61. <input type="checkbox" id="date-created">
  62. <label for="date-created"><div>date created</div></label>
  63. </li>
  64. <li>
  65. <input type="checkbox" id="symbol">
  66. <label for="symbol"><div>symbols</div></label>
  67. </li>
  68. <li>
  69. <input type="checkbox" id="function">
  70. <label for="function"><div>functions</div></label>
  71. </li>
  72. <li>
  73. <input type="checkbox" id="class">
  74. <label for="class"><div>classes</div></label>
  75. </li>
  76. <li>
  77. <input type="checkbox" id="variable">
  78. <label for="variable"><div>variables</div></label>
  79. </li>
  80. </ul>
  81. </div>
  82. <div id="search-groups">
  83. <div class="search-group" id="selected">
  84. <div id="language">
  85. <div class="name">languages</div
  86. ><input id="autocomplete" class="language" name="language" type="text"
  87. ><input type="checkbox" name="regex"
  88. ><span class="regex">Regex</span>
  89. </div>
  90. </div>
  91. </div>
  92. </div>
  93. </form>
  94. </div>
  95. <div id="results"></div>
  96. {{ assets.tag("index.js") }}
  97. {{ assets.tag("index.advanced-search-form.js") }}
  98. = endblock
  99. = block after_body
  100. <div id="hotkey-help" class="hidden">
  101. <div>Hotkeys</div>
  102. <ul>
  103. <li><span class="hotkey">k</span> <span class="seperator">:</span> move window up to the previous result</li>
  104. <li><span class="hotkey">j</span> <span class="seperator">:</span> move window down to the next result</li>
  105. <li><span class="hotkey">h</span> <span class="seperator">:</span> move to the previous symbol match</li>
  106. <li><span class="hotkey">l</span> <span class="seperator">:</span> move to the next symbol match</li>
  107. <li><span class="hotkey">?</span> <span class="seperator">:</span> toggle help</li>
  108. </ul>
  109. </div>
  110. = endblock