 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 |
|