sdk:useless include
Applied in [r13916], thank you.
- SDK: Remove unneeded include after r13886 (ticket #1616, thanks homertp).
fold/unfold symbol looks very tiny on HiDPI display
Fixed in [r13915].
SDK: Increase fold margin width in the editor and change it with scale factor.
Use system hotlight color for start page links
Fixed in wxWidgets