From 2b61ddee5b80134268c925ad70fd6ad8c1e35393 Mon Sep 17 00:00:00 2001
From: Julien Nicoulaud <julien.nicoulaud@gmail.com>
Date: Wed, 1 Dec 2010 17:09:15 +0100
Subject: [PATCH] Allow to use another key Use $terminfo to get key codes

---
 plugins/refresh/refresh.plugin.zsh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)
 mode change 100644 => 100755 plugins/refresh/refresh.plugin.zsh

diff --git a/plugins/refresh/refresh.plugin.zsh b/plugins/refresh/refresh.plugin.zsh
old mode 100644
new mode 100755
index 425ed91ec..7e369a8bc
--- a/plugins/refresh/refresh.plugin.zsh
+++ b/plugins/refresh/refresh.plugin.zsh
@@ -1,8 +1,16 @@
 #!/usr/bin/env zsh
 # ------------------------------------------------------------------------------
 # Simple ZLE widget that binds F5 to "source ~/.zshrc".
+#
+# You can bind it to another ikey by setting the REFRESH_KEY
+# environment variable, for example to bind F4 instead of F5:
+#   export REFRESH_KEY=$terminfo[kf4]
 # ------------------------------------------------------------------------------
 
+# Default key is F5.
+DEFAULT_REFRESH_KEY=$terminfo[kf5]
+
 _refresh() { source ~/.zshrc }
 zle -N _refresh
-bindkey '^[[15~' _refresh
+bindkey ${REFRESH_KEY:-$DEFAULT_REFRESH_KEY} _refresh
+