Version 2.13.0 (17 Dec 2018)

• Added: Search/replace functionality to the snippet editor. See here for a list of keyboard shortcuts. [#]
• Updated CodeMirror to version 5.42.0
• Added: Option to make admin menu more compact
• Fixed: Problem clearing recently active snippet list
• Improved: Integration between plugin and the CodeMirror library, to prevent collisions
• Improved: Added additional styles to editor settings preview
• Added: PHP linter to code editor
• Improved: Use external scripts instead of inline scripts
• Fixed: Missing functionality for 'Auto Close Brackets' and 'Highlight Selection Matches' settings