Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Revert "Fix #13274 - make Brackets margin/padding remoteHighlight work like Chrome one" #13296

Merged
merged 1 commit into from
Apr 10, 2017
Merged

Revert "Fix #13274 - make Brackets margin/padding remoteHighlight work like Chrome one" #13296

merged 1 commit into from
Apr 10, 2017
+12 −30

Commits on Apr 10, 2017

  1. Revert "Fix #13274 - make Brackets margin/padding remoteHighlight wor… 

    …k like Chrome one"
    @swmitra
    swmitra committed Apr 10, 2017
    Configuration menu
    Copy the full SHA
    0c914ef View commit details
    Browse the repository at this point in the history