41 commits

Author	SHA1	Message	Date
Paulo Reis	f0a940df35	Make the PDF text layer non-renderable by default.	2017-06-15 12:32:04 +01:00
Brian Gough	cb1cacebb5	set text layer to display:none for faster scroll	2017-06-15 12:32:03 +01:00
Brian Gough	74bc157e7c	added force recompile option	2016-08-24 16:48:37 +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
Paulo Reis	54ec75d36a	Avoid line-breaks when showing the log icon.	2016-07-06 15:55:36 +01:00
Paulo Reis	a6d184358f	Avoid inline-styles.	2016-06-28 15:51:50 +01:00
Paulo Reis	dfc375adf8	Add more feedback on :hover.	2016-06-24 15:55:19 +01:00
Paulo Reis	d7a1c7f693	Inline links in the hint now match the theme.	2016-06-24 14:01:22 +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	1aa7d9c6b3	Explicitly set link color according to log entry type.	2016-06-21 10:49:24 +01:00
Paulo Reis	d8e0026bc6	Add class to enable per-hint feedback tracking.	2016-06-20 17:32:57 +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	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
Henry Oswald	c284465ba5	added clsiformat checker, wired in	2016-06-02 13:09:32 +01:00
James Allen	48d4e96221	Remove development styles	2014-12-08 17:39:33 +00:00
Brian Gough	206e7db144	add spinners and classes for feedback on pdfng loading and rendering	2014-12-08 14:46:59 +00:00
Brian Gough	d6e47c2701	display empty div.pdf-canvas element as a blank page while it is being rendered	2014-12-02 11:00:33 +00:00
James Allen	6bfefea5cb	Show PDF button in toolbar if file tree is closed in PDF flat view	2014-08-12 13:18:22 +01:00
James Allen	4ff9fe33b6	Use a dark editor surround if the theme is dark	2014-07-28 15:06:26 +01:00
James Allen	688842de3c	Allow full screen PDF	2014-07-22 13:33:01 +01:00
James Allen	c6f51cf5ac	Show new chat message notification	2014-07-17 11:05:08 +01:00
James Allen	660a307418	Tweak synctex buttons style so the pdf resizer still works above them	2014-07-11 13:04:01 +01:00
James Allen	97065e8547	CSS tweaks	2014-07-03 17:19:57 +01:00
James Allen	9097fdd930	Allow switching between pdfjs and native viewer	2014-07-01 11:00:47 +01:00
James Allen	11d951f021	Get synctex working	2014-06-30 18:35:01 +01:00
James Allen	797dcf5c84	Jump to error when clicking on log entry	2014-06-30 13:41:32 +01:00
James Allen	aee7b5477b	View raw log and download aux files	2014-06-30 12:05:43 +01:00
James Allen	32d1642b9e	Get basic compile/errors/autocompile working	2014-06-30 11:35:32 +01:00
James Allen	0a0719cf7b	Sort of out styling of log entries	2014-06-29 14:22:08 +01:00
James Allen	25a4be408a	Get PDF controls working	2014-06-28 15:43:44 +01:00
James Allen	9c9de35918	Set up basic PDF viewer	2014-06-28 13:25:06 +01:00