Editor property renames

Renamed the following to achive better grouping in docs and completion
boxes:

first_visible_line -> line_at_top
last_visible_line -> line_at_bottom
centered_visible_line -> line_at_center