From ceacb7044a8bf61fc6c8cd00ddf6550b967e3a92 Mon Sep 17 00:00:00 2001
From: ccd0 <admin@containerchan.org>
Date: Sun, 27 Sep 2015 22:58:42 -0700
Subject: [PATCH] Revisions to post number filtering. #491

- "Post ID" -> "Post number" in user-facing interface.
- Improve example.
---
 src/Filtering/Filter.coffee                  | 2 +-
 src/General/Config.coffee                    | 4 ++--
 src/General/html/Settings/Filter-select.html | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/Filtering/Filter.coffee b/src/Filtering/Filter.coffee
index 54ec0839c..c16dbffb0 100755
--- a/src/Filtering/Filter.coffee
+++ b/src/Filtering/Filter.coffee
@@ -156,7 +156,7 @@ Filter =
         subEntries: []
 
       for type in [
-        ['Post ID',          'postID']
+        ['Post number',      'postID']
         ['Name',             'name']
         ['Unique ID',        'uniqueID']
         ['Tripcode',         'tripcode']
diff --git a/src/General/Config.coffee b/src/General/Config.coffee
index c6db53682..e95f1e99f 100755
--- a/src/General/Config.coffee
+++ b/src/General/Config.coffee
@@ -639,8 +639,8 @@ Config =
 
   filter:
     postID: """
-      # Highlight dubs:
-      #/(\\d)\\1$/;highlight
+      # Highlight dubs on [s4s]:
+      #/(\\d)\\1$/;highlight;top:no;boards:s4s
     """
 
     name: """
diff --git a/src/General/html/Settings/Filter-select.html b/src/General/html/Settings/Filter-select.html
index 540557a60..38a2e15ab 100755
--- a/src/General/html/Settings/Filter-select.html
+++ b/src/General/html/Settings/Filter-select.html
@@ -1,6 +1,6 @@
 <select name="filter">
   <option value="guide">Guide</option>
-  <option value="postID">Post ID</option>
+  <option value="postID">Post number</option>
   <option value="name">Name</option>
   <option value="uniqueID">Unique ID</option>
   <option value="tripcode">Tripcode</option>