Skip to content
This repository has been archived by the owner on Oct 22, 2024. It is now read-only.

Simplify: remove per-player sensors altogether. #40

Closed
narc0tiq opened this issue Nov 2, 2015 · 1 comment
Closed

Simplify: remove per-player sensors altogether. #40

narc0tiq opened this issue Nov 2, 2015 · 1 comment
Milestone

Comments

@narc0tiq
Copy link
Owner

narc0tiq commented Nov 2, 2015

When I initially wrote the pollution sensor, I wasn't aware of the fact that all GUI elements have a property identifying the player they're being shown to. Needing to know the player was the only reason player-specific sensors existed, so we can simplify things immensely by reducing the pollution sensor to a normal one.

@narc0tiq
Copy link
Owner Author

Actually resolved by #48, but it didn't get the magical "merged" status, so no auto-close.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant