Removed buggy this.pinned #105

merged 1 commit into from May 9, 2014


None yet

2 participants

RiZKiT commented Jun 8, 2012

this.pinned = pin != null && pin gave wrong results when no parameter was given, see for two correct alternatives.

But I removed it because we can get the pinned status from the element storage, so you always have the correct value even if another script changed the pin status. If you don't like that solution, then you should fix this.pinned.

@anutron anutron merged commit 814590a into anutron:master May 9, 2014
@RiZKiT RiZKiT deleted the RiZKiT:patch-10 branch May 9, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment