better handling of page numbers
List of changes
- Store the computed page number in
Page
instances - Move the
page
fromProblem
toProblemWidget
- Stop using the guessing of page number from the file path everywhere
Note: I did not touch the API, and the frontend code, where we might still be storing the page with the problem, not the problem widget. This should be addressed separately.
Closes #87 (closed)
Edited by Anton Akhmerov