From 23bcc35ebdbd9a8c5a9405b492b6b670f144731e Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Mon, 6 Jun 2016 09:04:35 +0200 Subject: [PATCH] Add some manual test pages for hints --- tests/manual/hints/issue824.html | 12 ++++++++++++ tests/manual/hints/issue925.html | 19 +++++++++++++++++++ tests/manual/hints/other.html | 28 ++++++++++++++++++++++++++++ 3 files changed, 59 insertions(+) create mode 100644 tests/manual/hints/issue824.html create mode 100644 tests/manual/hints/issue925.html create mode 100644 tests/manual/hints/other.html diff --git a/tests/manual/hints/issue824.html b/tests/manual/hints/issue824.html new file mode 100644 index 000000000..510f9758d --- /dev/null +++ b/tests/manual/hints/issue824.html @@ -0,0 +1,12 @@ + + + + + Issue 824 + + +

When using hints (f) on this page, the hint should be drawn over the + link.

+

See #824.

+ + diff --git a/tests/manual/hints/issue925.html b/tests/manual/hints/issue925.html new file mode 100644 index 000000000..8064d3b64 --- /dev/null +++ b/tests/manual/hints/issue925.html @@ -0,0 +1,19 @@ + + + + + Issue 925 + + + +

+ When using hints (f) on this page, the hint should have a normal size. +

+ See #925. +

+ + diff --git a/tests/manual/hints/other.html b/tests/manual/hints/other.html new file mode 100644 index 000000000..bc8c393c6 --- /dev/null +++ b/tests/manual/hints/other.html @@ -0,0 +1,28 @@ + + + + + Unknown hint issues + + +

Hint issues without minimal reproducers yet:

+ + +