3 commits

Author	SHA1	Message	Date
Dirk Hohndel	76e6420f6b	Massive automated whitespace cleanup ... I know everyone will hate it. Go ahead. Complain. Call me names. At least now things are consistent and reproducible. If you want changes, have your complaint come with a patch to scripts/whitespace.pl so that we can automate it. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>	2014-02-27 20:09:57 -08:00
Sergey Starosek	7e7a1d29ad	User manual: overlay search panel ... Make search panel floating so that web view does not resize. This commit also addresses following issues: - search now wraps around document - application icon and window title are now back Signed-off-by: Sergey Starosek <sergey.starosek@gmail.com> Signed-off-by: Dirk Hohndel <dirk@hohndel.org>	2014-01-10 16:12:44 +07:00
Sergey Starosek	8b00f8ffe6	Extract user manual web view into a separate class ... Provide search functionality which addresses ticket #391 Signed-off-by: Sergey Starosek <sergey.starosek@gmail.com> Signed-off-by: Dirk Hohndel <dirk@hohndel.org>	2014-01-10 16:07:43 +07:00