Paulo Jorge Reis 4be364cd93 Merge pull request #864 from sharelatex/pr-history-restore-placeholder ...

Add a placeholder "restore" button, showing a tooltip.

2018-08-30 11:25:25 +01:00

..

_mixins

Add dashboard link mixin

2018-08-22 16:35:06 -05:00

admin

Sanitize display of system messages.

2018-08-22 10:15:50 +01:00

beta_program

enable incremental compilation for beta users

2017-08-09 10:57:24 +01:00

blog

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

general

Use LESS to conditionally hide SL assets.

2018-04-03 09:01:43 -05:00

layout

Create class to scope main header changes (avoids overriding too much Bootstrap stuff); apply styles.

2018-02-15 11:08:12 +00:00

mixins

Add pagination mixin and color variables

2018-08-20 09:25:33 -05:00

project

Merge pull request #864 from sharelatex/pr-history-restore-placeholder

2018-08-30 11:25:25 +01:00

referal

fix pug syntax

2017-01-31 14:57:22 +00:00

subscriptions

Handle sixpack timeouts and include variant in metabase segmentation

2018-08-17 10:29:45 -05:00

sudo_mode

Make confirm-password routes more restful

2017-05-16 11:51:06 +01:00

translations

Fix language icons in language recommendation

2017-02-03 16:31:42 +01:00

university

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

user

increase spacing between buttons

2018-08-28 17:34:49 +02:00

view_templates

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

_metadata.pug

Move metadata to separate file and update metadata existence check

2018-06-22 13:42:01 -05:00

layout.pug

Switch themes at runtime.

2018-08-28 14:12:00 +01:00

restore.pug

fix pug syntax

2017-01-31 14:57:22 +00:00

scribtex-modal.pug

fix pug syntax

2017-01-31 14:57:22 +00:00

sentry.pug

Add an error handler to Raven loader.

2017-07-18 14:41:44 +01:00

tests.pug

WIP: migrate from jade to pug

2017-01-20 12:03:02 +00:00

v1-tooltip.pug

Update v1 project/tag tooltips

2017-12-15 12:17:08 +00:00