From 1b02c2c28687fbef42312afac026ad7ac1943d42 Mon Sep 17 00:00:00 2001
From: DarkWiiPlayer <darkwiiplayer@hotmail.com>
Date: Fri, 21 Aug 2020 10:36:50 +0200
Subject: [PATCH] Add Leader-F5 mapping for global F5-mappings

---
 vim/plugin/shame.vim | 1 +
 1 file changed, 1 insertion(+)

diff --git a/vim/plugin/shame.vim b/vim/plugin/shame.vim
index a243965..e65a529 100644
--- a/vim/plugin/shame.vim
+++ b/vim/plugin/shame.vim
@@ -511,6 +511,7 @@ nnoremap ! :!
 
 " --- F5 ---
 nnoremap <F5> :nnoremap <buffer> <F5> :
+nnoremap <leader><F5> :nnoremap <F5> :
 
 let mapleader = "\\"