| Age | Commit message (Collapse) | Author |
|
Generate a 'trimmed' reduced tree instead of changing the original.
Generate an 'images-only' reduced tree, and use it as the default.
Combine 'picked' reduced tree code with that of other reduced trees.
Adapt server API to allow selecting between more than 2 trees.
Add client setting for selecting between 3 trees.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conversion avoids encoding node children as JSON strings, and allows
for easier querying of edge data. Adjusted server to use new format.
Also added some table indexes for common operations.
|
|
Add genReducedTreeData.py, which generates a reduced_nodes table.
Adjust server to serve that data for queries with a tree=reduced query param.
Adjust client to query for that data depending on a useReducedTree variable.
Add a SettingsPane setting to change that useReducedTree variable.
|