mozilla/thimble.webmaker.org — pull request #413 by Pomax (2014-04-15 16:45:56+00:00)
Title: renamed 'mappings' to 'highlighting'

Also added the strings that were missing entirely. Mappings checkbox was lacking localisation >_>