Search Bar
Jump to navigation
Jump to search
This article describes how the search system in the Flashpoint Launcher works. For versions prior to 13, see Search Bar/Legacy.
Overview
- Flashpoint uses docopt parsing:
([-][[<field>(:|=|<|>)]|[@|#|!]](<phrase>|"<phrase>"))... - A search query can contain any number of phrases (
tag:Arcade platform:Flash jump run) - Phrases containing spaces must be wrapped in quotes or will count as separate parameters (
developer:"Tom Fulp") - Searches can have incomplete names and a name backwards (both
nana crandCRASH NANACAwill find NANACA†CRASH!!) - Phrases without prefixes are matched against an entry's Title, Alternate Titles, Developer, Publisher and Series. The phrase only has to match one of these fields for the game to be included.
- Prefixes use
:for fuzzy searching or=for an exact and case sensitive match. Numerical and date prefixes can additionally use<and>operands for less/greater than the used input - Prefixes with empty quotes search for games with said field emptied (
dev:"") - Searches inside playlists do not currently work.
Metadata Prefixes
| Prefix | Example |
|---|---|
| title | title:Bowman
|
| series | series:Sonny
|
| developer dev |
dev="Dev Name"
|
| publisher pub |
publisher:Newgrounds
|
| playMode mode |
playMode:"Single Player"
|
| status | status:Partial
|
| releaseDate rd |
releaseDate=2010-01-21
|
| dateAdded da |
dateAdded:2022
|
| dateModified dm |
dateModified<2024
|
| version | version:2.0
|
| language lang |
language=pt
|
| tag | tag:Toy
|
| source src |
source:deviantart.com
|
| platform plat |
platform:Flash
|
| applicationPath app path ap |
applicationPath:FPNavigator
|
| launchCommand lc |
launchCommand:localflash
|
| notes | notes:Extras
|
| originalDescription description desc od |
description:ninja
|
| id | id:cdeb30c5
|
Playtime Prefixes
| Prefix | Example |
|---|---|
| playCount pc |
playCount=2
|
| playTime pt |
playTime>1h
|
| lastPlayed lp |
lp:2023-07
|
Entries which you have not played yet will not show up when these are applied. playTime is a special field that uses time as in secs, mins, hours, days, weeks, Months and years.
Other Prefixes
| Prefix | Explanation | Example |
|---|---|---|
| - | Excludes a parameter from the search when used before other prefixes. | -tag:Soccer
|
| tags | Number of tags that the entry has. | tags=3
|
| platforms | Number of platforms that the entry has. | platforms>2
|
| addApps aa |
Number of additional applications that the entry has. | aa>0
|
| @ | Short-hand for developer:.
|
@Devname
|
| # | Short-hand for tag:.
|
#Shooter
|
| ! | Short-hand for platform:.
|
!Unity
|