From 6ec87aa1a2945bb83aa5637d370f23707c91e6af Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sat, 20 Oct 2018 17:39:31 -0700
Subject: Update sakura config

---
 home/.config/sakura/sakura.conf | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/home/.config/sakura/sakura.conf b/home/.config/sakura/sakura.conf
index da4367b..fd02b3a 100644
--- a/home/.config/sakura/sakura.conf
+++ b/home/.config/sakura/sakura.conf
@@ -23,7 +23,7 @@ colorset6_fore=rgb(192,192,192)
 colorset6_back=rgb(0,0,0)
 colorset6_curs=rgb(255,255,255)
 colorset6_key=F6
-last_colorset=2
+last_colorset=1
 scroll_lines=4096
 font=Ubuntu Mono,monospace 13
 show_always_first_tab=No
@@ -64,3 +64,5 @@ decrease_font_size_key=minus
 fullscreen_key=F11
 set_colorset_accelerator=5
 icon_file=terminal-tango.svg
+search_accelerator=5
+search_key=F
-- 
cgit v1.2.3