diff --git a/src/Filtering/Filter.coffee b/src/Filtering/Filter.coffee index d1da7e139..c16dbffb0 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 number', 'postID'] ['Name', 'name'] ['Unique ID', 'uniqueID'] ['Tripcode', 'tripcode'] diff --git a/src/General/Config.coffee b/src/General/Config.coffee index 685aeefdb..e95f1e99f 100755 --- a/src/General/Config.coffee +++ b/src/General/Config.coffee @@ -638,6 +638,11 @@ Config = ] filter: + postID: """ + # Highlight dubs on [s4s]: + #/(\\d)\\1$/;highlight;top:no;boards:s4s + """ + 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..38a2e15ab 100755 --- a/src/General/html/Settings/Filter-select.html +++ b/src/General/html/Settings/Filter-select.html @@ -1,5 +1,6 @@