[gnome-builder/document-manager] keybindings: update keybindings names

[Christian Hergert <chergert src gnome org>]

commit 47c28636f2caecaf8b7c860b134a61714f8818b9
Author: Christian Hergert <christian hergert me>
Date:   Mon Dec 8 13:34:20 2014 -0800

    keybindings: update keybindings names

 src/resources/keybindings/default.ini |   11 ++++-------
 1 files changed, 4 insertions(+), 7 deletions(-)
---
diff --git a/src/resources/keybindings/default.ini b/src/resources/keybindings/default.ini
index d27c623..32b38a8 100644
--- a/src/resources/keybindings/default.ini
+++ b/src/resources/keybindings/default.ini
@@ -31,10 +31,7 @@ scroll-down = <Control>E
 toggle-split = <Control><Shift>J
 switch-pane = <Control><Shift>K
 
-[tabs]
-next = <Control>J
-previous = <Control>K
-left = <Control>H
-right = <Control>L
-move-left = <Control><Shift>H
-move-right = <Control><Shift>L
+[stack]
+focus-search = <Control>J
+move-document-left = <Control><Shift>H
+move-document-right = <Control><Shift>L