21 commits

Author	SHA1	Message	Date
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