Thomas Robert 7c10fd7b6c 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		2022-11-27 14:08:10 -05:00
..
editors	load dynamically cultures editor	2022-11-27 13:57:07 -05:00
overview	fix: charts dialog to be stable	2022-06-24 17:47:35 +03:00
auto-update.js	fix(#845): emblem shield - remove incorrect data	2022-07-01 21:00:00 +03:00
export-json.js	Graph of temperature changes for the year in the burg (#733)	2022-11-27 13:17:57 -05:00
heightmap-selection.js	heightmap selection - refactor, make generation immutable to get predictable result	2022-11-27 14:02:59 -05:00
hierarchy-tree.js	UI improvement for hierarchy tree (#834)	2022-11-27 14:08:10 -05:00
installation.js	cleanup	2022-05-13 22:42:26 +03:00
supporters.js	maintenance: update supporters	2022-06-19 13:52:37 +03:00