Ben Kurtovic
1c0c4104e5
Support crawling specific repos; add some logging.
10 роки тому
Ben Kurtovic
3c786c5b47
Merge remote-tracking branch 'origin/develop' into develop
Conflicts:
bitshift/crawler/crawl.py
bitshift/languages.py
10 роки тому
Ben Kurtovic
c78b271bd7
Merge branch 'feature/lang_fixes' into develop
10 роки тому
Ben Kurtovic
c475de1c0b
Finish new language spec.
10 роки тому
Benjamin Attal
335027bf45
Remove null values for rows.
10 роки тому
Severyn Kozak
06012910b7
Merge branch 'feature/style' into develop
New commits in `feature/style` address various issues.
10 роки тому
Severyn Kozak
5cb118954b
Add hotkey help. Close #47 .
Add:
templates/index.html, static/(sass/index.sass, js/index.js)
-Add hotkey help div, which fades in whenever the `?` hotkey is pressed.
10 роки тому
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.
10 роки тому
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.
10 роки тому
Ben Kurtovic
bf25b3af66
Don't configure logging twice.
10 роки тому
Ben Kurtovic
53a8ad91fa
Fix for symbol locs.
10 роки тому
Ben Kurtovic
91ab08f99c
Try something.
10 роки тому
Ben Kurtovic
d609c233a1
Attempt to fix /tmp race condition.
10 роки тому
Ben Kurtovic
11b460eaa0
Fix repo names.
10 роки тому
Ben Kurtovic
66ac2165f4
Fix.
10 роки тому
Ben Kurtovic
fb341d5abd
empty_database procedure.
10 роки тому
Ben Kurtovic
f3bf38c00b
Fix substring error.
10 роки тому
Ben Kurtovic
e77de2305c
Start working on new language system.
10 роки тому
Benjamin Attal
2d643b1069
Stop ruby parser from failing. Add other parser fixes. Should be good
to go now.
10 роки тому
Benjamin Attal
78665f28d3
Fix for parser
10 роки тому
Ben Kurtovic
9d3f9444f7
Not necessary: codelet.symbols is {} by default.
10 роки тому
Benjamin Attal
16775a6490
Remove negative line numbers for parsers.
10 роки тому
Ben Kurtovic
ddcb5b221f
Use logs to calculate ranks ( closes #61 ).
10 роки тому
Ben Kurtovic
10e7491a40
Fix indexer breaking http:// URLs.
10 роки тому
Ben Kurtovic
71ba6c31d8
Minor cleanup.
10 роки тому
Benjamin Attal
525e049be0
Bug fixes.
10 роки тому
Benjamin Attal
966ef007d5
Debug parse init function.
10 роки тому
Benjamin Attal
e9f0ddfe71
Ensure ruby parser returns all dictionary keys, regardless of whether or not there are elements in them.
10 роки тому
Benjamin Attal
b1aedccd03
Stop hotkeys from disabling hover
10 роки тому
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.
10 роки тому
Ben Kurtovic
1015298109
Make it easy to stop crawler/parsers. Cleanup.
10 роки тому
Severyn Kozak
21067ef5fd
Complete server querying.
Add:
static/js/index.js
-Complete `queryServer()`.
static/sass/(index, _mixins).sass
-Add `opaque()` mixin.
10 роки тому
Benjamin Attal
a43e119a80
Change colorscheme to monakai for results again.
10 роки тому
Ben Kurtovic
6eeea5bf7e
Fix parsing via servers.
10 роки тому
Benjamin Attal
d9586191cb
Tweak style
10 роки тому
Benjamin Attal
d9e9787924
Add github colorscheme alternative.
10 роки тому
Ben Kurtovic
ca104b26c0
Update config file for violent horned mammals.
10 роки тому
Ben Kurtovic
5d16fdcae0
Fix reduction.
10 роки тому
Ben Kurtovic
28d07de930
Fix origin stuff.
10 роки тому
Ben Kurtovic
f74740d3dd
Get rid of origin images ( closes #51 ).
10 роки тому
Benjamin Attal
9ba37217e9
Patche nextResult() and previousResult() so that they don't rely on mouse position to display results. Fixed hover bug.
10 роки тому
Ben Kurtovic
00058d3879
Only return the right codelet symbols from the database ( closes #46 ).
10 роки тому
Benjamin Attal
0f7628f575
Add h and j keymaps for result.
10 роки тому
Ben Kurtovic
f4efe8e99b
Codelet.serialize() update (for #46 ).
10 роки тому
Benjamin Attal
4202552a1e
Remove unecessary import
10 роки тому
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.
10 роки тому
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.
10 роки тому
Ben Kurtovic
7902cb7d01
Remove run.sh file.
10 роки тому
Ben Kurtovic
024f0c7afb
Rawr.
10 роки тому
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.
10 роки тому