diff --git a/doc/GUI.php b/doc/GUI.php
index 2e37faa6..9238aee8 100644
--- a/doc/GUI.php
+++ b/doc/GUI.php
@@ -64,6 +64,10 @@
     <td>Ctrl+i</td>
     <td>Roll a dice</td>
    </tr>
+   <tr>
+    <td>F3</td>
+    <td>Watch library</td>
+   </tr>
    <tr>
     <td>F9</td>
     <td>Opponent loses 1 life</td>
diff --git a/js/events.js b/js/events.js
index 57fd8b82..0338860a 100644
--- a/js/events.js
+++ b/js/events.js
@@ -15,6 +15,7 @@ keyActions = { // Key <=> action association
 	'*' : change_powthou(1, true),
 	'/' : change_powthou(-1, true),
 	// Without modifiers
+	'f3' : function(ev) { card_list_edit(game.player.library) ; },
 	'f9' : function(ev) { game.opponent.life.changelife(-1) ; draw() ; },
 	'f10' : function(ev) { game.opponent.life.changelife(1) ; draw() ; },
 	'f11' : function(ev) { game.player.life.changelife(-1) ; draw() ; },