[galaxy-commits] [hg] galaxy 3814: Page editor: fix indenting issue for webkit br...