This repository was archived by the owner on Sep 6, 2021. It is now read-only.
Making inline editor header taller so the gutter won't cover the bottom portion of the file name.#7273
Merged
RaymondLim merged 1 commit intomasterfrom Mar 20, 2014
Merged
Making inline editor header taller so the gutter won't cover the bottom portion of the file name.#7273RaymondLim merged 1 commit intomasterfrom
RaymondLim merged 1 commit intomasterfrom
