From 6c4bffca663fff0e31803dc53a90d3e3481fc870 Mon Sep 17 00:00:00 2001
From: Julien Nicoulaud <julien.nicoulaud@gmail.com>
Date: Thu, 25 Nov 2010 16:01:50 +0100
Subject: [PATCH] Added a plugin for reloading .zshrc with F5

---
 plugins/refresh/refresh.plugin.zsh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 plugins/refresh/refresh.plugin.zsh

diff --git a/plugins/refresh/refresh.plugin.zsh b/plugins/refresh/refresh.plugin.zsh
new file mode 100644
index 000000000..425ed91ec
--- /dev/null
+++ b/plugins/refresh/refresh.plugin.zsh
@@ -0,0 +1,8 @@
+#!/usr/bin/env zsh
+# ------------------------------------------------------------------------------
+# Simple ZLE widget that binds F5 to "source ~/.zshrc".
+# ------------------------------------------------------------------------------
+
+_refresh() { source ~/.zshrc }
+zle -N _refresh
+bindkey '^[[15~' _refresh