From 15b0db5e5364f4fdca3af255b93286ae74e03d57 Mon Sep 17 00:00:00 2001 From: Kalle Olavi Niemitalo Date: Sat, 22 Aug 2009 17:33:12 +0300 Subject: [PATCH] bug 15, NEWS: Mention bug number for domain-specific options ELinks 0.13.GIT partially supports domain-specific options. Enhancement request 15 seems to be about them, so mention it in NEWS. The left-to-right path matching described in enhancement 15 hasn't been implemented, though; ELinks chooses the option based on the hostname only. --- NEWS | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index c1fc50634..1cecee85c 100644 --- a/NEWS +++ b/NEWS @@ -45,9 +45,9 @@ Miscellaneous: toggle-* actions no longer affect other tabs or other terminals. * Do not crash when document.browse.minimum_refresh_time = 0 and a document has a meta refresh with a delay of 0. -* enhancement: Domain-specific options. Use set_domain in elinks.conf - to e.g. disable cookies for google.com. The option manager window - does not yet support this. +* enhancement 15: Domain-specific options. Use set_domain in + elinks.conf to e.g. disable cookies for google.com. The option + manager window does not yet support this. * enhancement 867: Use bracketed paste mode on xterm. This requires xterm patch #228 or later configured with --enable-readline-mouse. * enhancement 824: Experimental support for combining characters.