realm/realm-cocoa — pull request #885 by GreatApe (2014-09-10 15:44:25+00:00)
Title: Gk browser Alexander feedback 1

[WIP] Takes care of some issues Alexander had experienced, part 1
@astigsen

Changes the appearance of table indices to gray, small and right aligned

Always shows floats and doubles with exactly three decimals

Reloads after cancelling editing to return to three decimals.

Also fixes a mouse over issue (mouse pointer should always change over links)