13 commits

Author	SHA1	Message	Date
Paulo Reis	9a27a39f55	Make tooltip optional in the label component.	2018-08-08 11:01:20 +01:00
Paulo Reis	b0261970fc	Make label removal also work in compare mode.	2018-08-06 11:26:22 +01:00
Paulo Reis	bd6dcc007b	Remove prototype code.	2018-08-06 11:00:45 +01:00
Paulo Reis	2c2bb4c130	Add i18n; avoid injecting unneeded dependencies.	2018-08-02 16:28:13 +01:00
Paulo Reis	a8ee879746	Use history label component; restrict label deletion to label owners.	2018-08-02 16:28:13 +01:00
Paulo Reis	8c50e4e9ae	Add history label component.	2018-08-02 16:28:13 +01:00
Paulo Reis	5a64313e24	Add label delete functionality; styles.	2018-08-02 16:28:13 +01:00
Paulo Reis	f858786f2d	Add i18n.	2018-06-05 10:14:16 +01:00
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