UI improvement for hierarchy tree (#834)

* style(hierarchy tree): improve responsivness

Fix details on the bottom of the dialog
Make the tree view take the rest of the available space of the dialog

* style(hierarchy tree): distinguish buttons

Distinguish between action buttons and remove origins tags-like button

* typo(hierarchy tree): change button label and tips

* fix(hierarchy tree): disable top node interactions

* chore: update version/hash to v1.86.07

* chore: update version/hash to v1.86.08

* fix: bad hash versions

* fix: update index.html to correct versions
This commit is contained in:
Thomas Robert 2022-06-16 17:15:07 +02:00 committed by GitHub
parent a7cb464b55
commit 8c96a9754d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 31 additions and 9 deletions

View file

@ -1,7 +1,7 @@
"use strict";
// version and caching control
const version = "1.86.07"; // generator version, update each time
const version = "1.86.08"; // generator version, update each time
{
document.title += " v" + version;