JasonWoof Got questions, comments, patches, etc.? Contact Jason Woofenden
page down key: cursor to end if scrolled bot already
authorJason Woofenden <jason@jasonwoof.com>
Wed, 30 Mar 2016 13:49:12 +0000 (09:49 -0400)
committerJason Woofenden <jason@jasonwoof.com>
Wed, 30 Mar 2016 13:49:12 +0000 (09:49 -0400)
editor.coffee

index ef5d3a2..a7c3c66 100644 (file)
@@ -1088,6 +1088,14 @@ class PeachHTML5Editor
                        screen_y = @cursor.y - @wrap2.scrollTop
                scroll_amount = @wrap2_height - breathing_room
                lowest_scrollpos = @wrap2.scrollHeight - @wrap2_height
+               if @wrap2.scrollTop is lowest_scrollpos # already at bottom
+                       return unless @cursor?
+                       # move cursor to bottom
+                       new_cursor = last_cursor_position @tree
+                       if new_cursor?
+                               if new_cursor.n isnt @cursor.n or new_cursor.i isnt @cursor.i
+                                       @move_cursor new_cursor
+                       return
                @wrap2.scrollTop = Math.min lowest_scrollpos, @wrap2.scrollTop + scroll_amount
                if @cursor?
                        @move_cursor_into_view screen_y + @wrap2.scrollTop