schihei/arxiv-sanity-lite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Minor changes in category handling

Browse Source
This commit is contained in:
Heiko Joerg Schick
2023-09-12 14:56:12 +02:00
parent d79b0b5b5e
commit 2a3172850e
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
serve.py
+1 -1
View File
@@ -215,7 +215,7 @@ def main():
opt_q = request.args.get('q', '') # search request in the text box
opt_tags = request.args.get('tags', default_tags) # tags to rank by if opt_rank == 'tag'
opt_pid = request.args.get('pid', '') # pid to find nearest neighbors to
opt_category_filter = request.args.get('category', '') # primary category to filter
opt_category_filter = request.args.get('category_filter', '') # primary category to filter
opt_time_filter = request.args.get('time_filter', default_time_filter) # number of days to filter by
opt_skip_have = request.args.get('skip_have', default_skip_have) # hide papers we already have?
opt_svm_c = request.args.get('svm_c', '') # svm C parameter
templates/index.html
+1 -1
View File
@@ -56,7 +56,7 @@ var move_page = function(int_offset) {
<!-- current category, simply in a text field -->
<label for="category">category: </label>
<input name="category" type="text" id="category_field" value="{{ gvars.pid }}" size="8">
<input name="category_filter" type="text" id="category_filter__field" value="{{ gvars.category_filter }}" size="8">
<!-- current time_filter, in a text field -->
<label for="time_filter">time_filter (days): </label>