Ben Kurtovic
ac5f0981cc
Rearrange sleep.
10 년 전
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 년 전