A semantic search engine for source code https://bitshift.benkurtovic.com/
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273
  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>Fields</div>
  32. <ul>
  33. <li><button id="language">languages</button></li>
  34. <li><button id="author">authors</button></li>
  35. <li><button id="modified">date last modified</button></li>
  36. <li><button id="created">date created</button></li>
  37. <li><button id="symbol">symbols</button></li>
  38. <li><button id="function">functions</button></li>
  39. <li><button id="class">classes</button></li>
  40. <li><button id="variable">variables</button></li>
  41. </ul>
  42. <button id="add-group">
  43. Add group.
  44. </button>
  45. </div>
  46. <div id="search-groups">
  47. <div class="search-group">Hello, world.</div>
  48. <div class="search-group">Hello, world.</div>
  49. <div class="search-group">Hello, world.</div>
  50. <div class="search-group">Hello, world.</div>
  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>
  59. </div>
  60. </form>
  61. </div>
  62. <div id="results"></div>
  63. {{ assets.tag("index.js") }}
  64. = endblock