[galaxy-dev] [hg] galaxy 2438: Refresh the history frame when the current his...