-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add batch mode to increment rank of statements
This uncomments the last button of “list” + “collective” batch mode, allowing users to increment the rank of a whole list of statements. The code is largely copied from batch_list_set_rank(), just with some “set rank” functions replaced by their “increment rank” counterparts.
- Loading branch information
1 parent
0556c0e
commit 530f750
Showing
2 changed files
with
46 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters