104 commits

Author	SHA1	Message	Date
Brian Gough	991486ab60	make html valid (div not allowed in p tag)	2016-10-13 16:10:02 +01:00
Brian Gough	3c59de31df	finalise display of syntax check error message	2016-08-26 15:14:57 +01:00
Brian Gough	696a7206c1	clean up display of error message	2016-08-25 16:55:29 +01:00
Brian Gough	9a1934465a	clean up syntax check options on menu	2016-08-25 15:51:56 +01:00
Brian Gough	74bc157e7c	added force recompile option	2016-08-24 16:48:37 +01:00
Brian Gough	9a399d3dd3	move "run syntax check" compile option out of beta	2016-08-11 13:55:47 +01:00
Brian Gough	42388f8b76	fix missing space in pdf jade template	2016-08-03 16:30:33 +01:00
Brian Gough	7ce406dd38	switch the compile dropdown menu to left, to avoid overflow into editor	2016-08-03 16:30:18 +01:00
Brian Gough	4d3629e5db	add beta feature badge to syntax check	2016-08-03 16:29:46 +01:00
Brian Gough	38f76b305b	change message to "Run syntax check"	2016-08-02 14:43:09 +01:00
Brian Gough	e508f7b8a9	don't try to display a log hint link if there isn't one	2016-07-29 15:11:34 +01:00
Brian Gough	0742db7732	enable validation option only for beta programme users	2016-07-29 15:11:34 +01:00
Brian Gough	ef85f1014c	add menu option for checking with chktex	2016-07-29 14:59:48 +01:00
Paulo Reis	6d0779b8f8	Add forgotten name attribute.	2016-07-26 14:47:48 +01:00
Paulo Reis	a3ee3134b1	Support for i18n.	2016-07-26 11:56:15 +01:00
Paulo Reis	bfe3e160c9	Integrate with UI.	2016-07-26 11:37:51 +01:00
Paulo Reis	32b57f228c	Integrate feedback UI with wufoo service.	2016-07-25 16:12:56 +01:00
Paulo Reis	37eb6252d2	Rewording + animation when shown the feedback panel.	2016-07-22 16:33:19 +01:00
Paulo Reis	b6cd6c2d7d	UI logic to show or hide the negative feedback panel.	2016-07-22 14:14:58 +01:00
Paulo Reis	54eadf3256	Add textarea for 'other' feedback + styles.	2016-07-22 12:20:26 +01:00
Paulo Reis	95db6ba934	Basic mark-up for the extra log hint feedback.	2016-07-22 11:56:45 +01:00
Brian Gough	ded9bcaa11	remove unwanted styling on 'stop compile' button	2016-07-18 15:00:16 +01:00
Brian Gough	5a02e8c656	add support for stopping compile	2016-07-15 16:28:52 +01:00
Paulo Reis	b867c37d49	Merge branch 'master' into pr-log-dropdown	2016-07-06 15:35:28 +01:00
Paulo Reis	909f7c15b5	Track log-related actions.	2016-07-05 16:27:14 +01:00
Paulo Reis	c5f53ef431	Track log hints feedback.	2016-06-30 11:30:30 +01:00
Paulo Reis	a6d184358f	Avoid inline-styles.	2016-06-28 15:51:50 +01:00
Paulo Reis	88564ea126	Dynamically determine if the files dropdown should drop up or drop down.	2016-06-28 15:48:11 +01:00
Paulo Reis	81b93ab5a9	Disable links to the docs when the wiki is not available.	2016-06-27 11:34:24 +01:00
Paulo Reis	f427ce88d9	Better Jade syntax.	2016-06-24 16:37:35 +01:00
Paulo Reis	dfc375adf8	Add more feedback on :hover.	2016-06-24 15:55:19 +01:00
Paulo Reis	c376c807d7	Forgotten href attribute.	2016-06-24 15:22:34 +01:00
Paulo Reis	5f7ffb5a8c	Make hint card area non-clickable.	2016-06-24 12:12:45 +01:00
Paulo Reis	e4a1443d1d	Better handling of whitespace.	2016-06-24 12:07:02 +01:00
Paulo Reis	ed659fd973	Minor UI improvements.	2016-06-21 14:20:23 +01:00
Paulo Reis	e607de0b91	Safety checks for non-existing values; avoid rendering the hint template when there is no hint.	2016-06-21 12:07:47 +01:00
Paulo Reis	d8e0026bc6	Add class to enable per-hint feedback tracking.	2016-06-20 17:32:57 +01:00
Paulo Reis	fe53083afd	Show thank you note after receiving feedback.	2016-06-20 15:04:47 +01:00
Paulo Reis	baea017adb	Better mark-up for analytics tracking.	2016-06-20 14:59:30 +01:00
Paulo Reis	a8976fd4dc	Use plain links instead of buttons.	2016-06-20 14:42:36 +01:00
Paulo Reis	1893ae68a9	Add feedback widget for log hints.	2016-06-20 11:53:10 +01:00
Paulo Reis	605bb07ba3	Hint card styling.	2016-06-20 09:45:14 +01:00
Paulo Reis	2bfe0d0ba9	Basic mark-up for hint card.	2016-06-17 14:16:38 +01:00
Paulo Reis	54d48ce0ea	Support extra info URL in human readable hints.	2016-06-17 11:42:32 +01:00
Paulo Reis	40fda6e361	Support HTML in human readable log messages.	2016-06-16 16:29:19 +01:00
Paulo Reis	9b8d695e43	Match logs against ruleset; show human readable message when appropriate.	2016-06-16 15:53:39 +01:00
Paulo Reis	e891a47a9e	Better support for larger text in keyboard tooltips.	2016-06-15 15:27:30 +01:00
Paulo Reis	d7e4009504	Small styling enhancements.	2016-06-15 10:48:40 +01:00
Paulo Reis	3310a3ea3f	Change tooltip copy; get it from i18n catalogue.	2016-06-14 17:20:16 +01:00
Paulo Reis	a9e0185098	Added tooltip with keyboard shortcut in the recompile button.	2016-06-14 17:02:22 +01:00