Crew Monitor filter

[Errant-4]

About the PR

The crew monitor now has a filter, that looks in both Name and Job

Why / Balance

QOL change, particularly for AI (once it's crew monitor gets fixed)

Media

crewmon.mp4

Requirements

• I have read and I am following the Pull Request Guidelines. I understand that not doing so may get my pr closed at maintainer’s discretion
• I have added screenshots/videos to this PR showcasing its changes ingame, or this PR does not require an ingame showcase

Changelog

🆑 Errant

• add: Crew monitor list can now be filtered by name and job.

[ScarKy0]

Great change for both AI and generally, thank you

[Errant-4]

Would it add much if the department headers for no-result departments were taken off?

[ScarKy0]

Would it add much if the department headers for no-result departments were taken off?

Not really, i think it can stay, can help you like memorize stuff better if anything(?)

[eoineoineoin]

Minor quibble, when all names in a department are filtered out, the header for that department is still drawn, but empty.

Could you possibly shuffle the code around so the departmentLabel is only added to the SensorsTable if there's at least one non-filtered sensor?