limit tracing to wholly consume paths for now. omit topo when drilling only
This commit is contained in:
parent
99482e1006
commit
670c0c7822
4 changed files with 35 additions and 26 deletions
|
|
@ -1302,7 +1302,9 @@ var gs_kiri_init = exports;
|
|||
};
|
||||
UI.toolsSave.onclick = function() {
|
||||
if (selectedTool) updateTool();
|
||||
settings().tools = editTools;
|
||||
settings().tools = editTools.sort((a,b) => {
|
||||
return a.name < b.name ? -1 : 1;
|
||||
});
|
||||
setToolChanged(false);
|
||||
API.conf.save();
|
||||
API.view.update_fields();
|
||||
|
|
|
|||
Loading…
Reference in a new issue