5 commits

Author	SHA1	Message	Date
Paulo Reis	fb33fc6c30	Add loading indicators; handle binary files; keep selected file across points in time.	2018-05-23 12:14:27 +01:00
Paulo Reis	6701b4413b	Add history file tree components.	2018-05-21 15:12:03 +01:00
Paulo Reis	9f6dc12658	Add custom styling; add code to handle point-in-time selection.	2018-05-01 17:27:51 +01:00
Paulo Reis	6e6bc91130	Style the history entries components.	2018-04-27 15:59:28 +01:00
Paulo Reis	8249f4e17e	Wrap copies of existing history UI elements in components.	2018-04-27 11:22:20 +01:00