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.
 
 
 
 
 
 

78 lignes
2.3 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. <div id="sidebar">
  31. <div>
  32. Fields
  33. </div>
  34. <ul>
  35. <li><button id="language">languages</button></li>
  36. <li><button id="author">authors</button></li>
  37. <li><button id="modified">date last modified</button></li>
  38. <li><button id="created">date created</button></li>
  39. <li><button id="symbol">symbols</button></li>
  40. <li><button id="function">functions</button></li>
  41. <li><button id="class">classes</button></li>
  42. <li><button id="variable">variables</button></li>
  43. </ul>
  44. <button id="add-group">
  45. +
  46. </button>
  47. <div>
  48. </div>
  49. </div>
  50. <div id="search-groups">
  51. <div class="search-group">Hello, world.</div>
  52. <div class="search-group">Hello, world.</div>
  53. <div class="search-group">Hello, world.</div>
  54. <div class="search-group">Hello, world.</div>
  55. <div class="search-group">Hello, world.</div>
  56. <div class="search-group">Hello, world.</div>
  57. <div class="search-group">Hello, world.</div>
  58. <div class="search-group">Hello, world.</div>
  59. <div class="search-group">Hello, world.</div>
  60. <div class="search-group">Hello, world.</div>
  61. <div class="search-group">Hello, world.</div>
  62. </div>
  63. </div>
  64. </form>
  65. </div>
  66. <div id="results"></div>
  67. {{ assets.tag("index.js") }}
  68. = endblock