From 48185de6c8e9eb0cd6ff7f83fb50086d6cc01a51 Mon Sep 17 00:00:00 2001
From: Jonathan Gawrych <Jonathan.Gawrych@gmail.com>
Date: Tue, 22 Sep 2015 19:31:59 -0600
Subject: [PATCH] Add filtering by post id.

---
 src/Filtering/Filter.coffee                  | 2 ++
 src/General/Config.coffee                    | 5 +++++
 src/General/html/Settings/Filter-select.html | 1 +
 3 files changed, 8 insertions(+)

diff --git a/src/Filtering/Filter.coffee b/src/Filtering/Filter.coffee
index d1da7e139..54ec0839c 100755
--- a/src/Filtering/Filter.coffee
+++ b/src/Filtering/Filter.coffee
@@ -127,6 +127,7 @@ Filter =
         return true if result.hide
     false
 
+  postID:     (post) -> post.ID
   name:       (post) -> post.info.name
   uniqueID:   (post) -> post.info.uniqueID
   tripcode:   (post) -> post.info.tripcode
@@ -155,6 +156,7 @@ Filter =
         subEntries: []
 
       for type in [
+        ['Post ID',          'postID']
         ['Name',             'name']
         ['Unique ID',        'uniqueID']
         ['Tripcode',         'tripcode']
diff --git a/src/General/Config.coffee b/src/General/Config.coffee
index 685aeefdb..c6db53682 100755
--- a/src/General/Config.coffee
+++ b/src/General/Config.coffee
@@ -638,6 +638,11 @@ Config =
     ]
 
   filter:
+    postID: """
+      # Highlight dubs:
+      #/(\\d)\\1$/;highlight
+    """
+
     name: """
       # Filter any namefags:
       #/^(?!Anonymous$)/
diff --git a/src/General/html/Settings/Filter-select.html b/src/General/html/Settings/Filter-select.html
index 974059154..540557a60 100755
--- a/src/General/html/Settings/Filter-select.html
+++ b/src/General/html/Settings/Filter-select.html
@@ -1,5 +1,6 @@
 <select name="filter">
   <option value="guide">Guide</option>
+  <option value="postID">Post ID</option>
   <option value="name">Name</option>
   <option value="uniqueID">Unique ID</option>
   <option value="tripcode">Tripcode</option>