Severyn Kozak
4d56f145be
Suppress hotkeys entered in text inputs. Fix #58 .
Add:
static/js/index.js
-Suppress hotkey (`h`, `j` `k`, and `l`) events when the keys are
entered in text input-fields.
vor 10 Jahren
Severyn Kozak
9b4d5e4f5b
Add UI error messages. Close #50 .
Add:
templates/index.html, static/(js/index.js, sass/index.sass)
-Add error messages for failed queries.
vor 10 Jahren
Benjamin Attal
b1aedccd03
Stop hotkeys from disabling hover
vor 10 Jahren
Benjamin Attal
94caaeca8d
Fix scrolling / shortcut problems with focusing on results by only
disabling mouse events on scroll and enabling them after scroll is finished.
vor 10 Jahren
Severyn Kozak
21067ef5fd
Complete server querying.
Add:
static/js/index.js
-Complete `queryServer()`.
static/sass/(index, _mixins).sass
-Add `opaque()` mixin.
vor 10 Jahren
Benjamin Attal
a43e119a80
Change colorscheme to monakai for results again.
vor 10 Jahren
Benjamin Attal
d9586191cb
Tweak style
vor 10 Jahren
Benjamin Attal
d9e9787924
Add github colorscheme alternative.
vor 10 Jahren
Benjamin Attal
9ba37217e9
Patche nextResult() and previousResult() so that they don't rely on mouse position to display results. Fixed hover bug.
vor 10 Jahren
Benjamin Attal
0f7628f575
Add h and j keymaps for result.
vor 10 Jahren
Severyn Kozak
3fe6b2e1e7
Work on #47 . Add j, k shortcuts.
Add:
static/js/index.js
-Add `resultsHotkeys()`, which gets executed on definition and maps all
keyboard shortcuts.
-Add handler-functions for `h`, `j`, `k`, `l`; complete functions for
`j` and `k`, to scroll between results.
vor 10 Jahren
Severyn Kozak
bda63ad3ce
Add server querying for results.
Add:
static/js/index.js
-Add untested server-querying to `queryServer()`, which previously just
generated random results.
vor 10 Jahren
Ben Kurtovic
024f0c7afb
Rawr.
vor 10 Jahren
Severyn Kozak
69ca385939
Search-result style edits. Close #41 .
Add:
static/sass/index.sass
-Add style rules to fix bugs, and improve the appearance of some minor
details.
static/js/index.advanced-search-form.js
-Close #41 . Add statements to scroll to the bottom of the search-groups
div when any search-groups/input fields are added.
Fix:
bitshift/languages.py
-Python's `u"string"` unicode specifier results in a Javascript syntax
error when pasted verbatim into `templates/index.html` by Flask; add
`str()` to the languages array loader to fix it.
vor 10 Jahren
Benjamin Attal
1c7707158f
Move cycling buttons around.
vor 10 Jahren
Benjamin Attal
4cc903fb75
Prevent page from scrolling to top when next match is clicked.
vor 10 Jahren
Benjamin Attal
0f23aa06ff
Buttons to cycle through matches in the code.
vor 10 Jahren
Benjamin Attal
7f63adfb31
Fix jquery selecting error.
vor 10 Jahren
Benjamin Attal
eac8d692c1
Add cycling between matches when clicking on the result.
vor 10 Jahren
Benjamin Attal
65a1c2e9dc
Move language tag into hidden info.
vor 10 Jahren
Benjamin Attal
bf332ee426
Add mock python file.
vor 10 Jahren
Benjamin Attal
0b5e7215a5
Update mock html.
vor 10 Jahren
Benjamin Attal
bc1ed0bff9
Add highlighted lines to css rules.
vor 10 Jahren
Benjamin Attal
c65e738a88
Remove sidebar, display button. Change styling for results.
vor 10 Jahren
Severyn Kozak
2a81da4e2b
Merge branch 'develop' into feature/style
Merge required to continue search-results styling with access to the `/search`
route.
Conflicts:
app.py
vor 10 Jahren
Ben Kurtovic
e0194ab346
Forgot to update query numbers.
vor 10 Jahren
Ben Kurtovic
69b011ac12
Fix.
vor 10 Jahren
Ben Kurtovic
8acddb6834
Fix cache retrieval behavior.
vor 10 Jahren
Benjamin Attal
65f8933b17
Fix merge conflicts
vor 10 Jahren
Benjamin Attal
7337638b72
Change form get_lexer to guess_lexer -- guess_lexer is more accurate.
vor 10 Jahren
Ben Kurtovic
7b9e98bc5b
Thanks @riamse
vor 10 Jahren
Benjamin Attal
ca4bb8ff42
Change format of symbols to fit databse model.
vor 10 Jahren
Ben Kurtovic
b2d9ad5c97
Missed a line.
vor 10 Jahren
Ben Kurtovic
b6fabc54ec
Can't use executemany() here.
vor 10 Jahren
Benjamin Attal
21cf52ea65
Call start_parse_servers from crawl.py
vor 10 Jahren
Benjamin Attal
c9520fd4e3
Add function to start parse servers in parser/__init__.py
vor 10 Jahren
Benjamin Attal
73dee778c5
Can specify which port to run ruby server on.
vor 10 Jahren
Ben Kurtovic
fd3a8b1598
Fix missing import.
vor 10 Jahren
Ben Kurtovic
e64c81f66f
Consistency fix: Use Codelet.url instead of Codelet.code_url.
vor 10 Jahren
Benjamin Attal
2793f072f0
Merge conflicts
vor 10 Jahren
Benjamin Attal
6edb142b4a
Can specify port number to run java server on.
vor 10 Jahren
Benjamin Attal
65a2688be9
Adjust test for new language dict.
vor 10 Jahren
Ben Kurtovic
f02dc4497c
Fixes.
vor 10 Jahren
Benjamin Attal
1f56300c73
Make sure parse servers return json loadable data. Make sure Java server closes client connection.
vor 10 Jahren
Benjamin Attal
5d3baf49d1
Change format of string returned from ruby server to correct symbol table format.
vor 10 Jahren
Ben Kurtovic
5d8ac664fe
HAHA WHAT ARE ITERATORS
vor 10 Jahren
Benjamin Attal
5e6e3fcbf5
Adjust test for new language dict.
vor 10 Jahren
Benjamin Attal
0fb2cacbd4
Make sure parse servers return json loadable data. Make sure Java server closes client connection.
vor 10 Jahren
Severyn Kozak
94953624c8
Fix #34 .
Add:
bitshift/crawler/indexer.py
-Add a `try-except` block to catch the `UnsupportedFileError` exception.
vor 10 Jahren
Ben Kurtovic
5a83720617
Strip encoding lines.
vor 10 Jahren