From 0a4426af294dfdc22cd58ad27157b19894656476 Mon Sep 17 00:00:00 2001
From: Dave Davenport <qball@gmpclient.org>
Date: Thu, 26 Dec 2019 14:39:51 +0100
Subject: [PATCH] Add placeholder to default theme.

---
 doc/default_theme.rasi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi
index 345749c0..ecf2190b 100644
--- a/doc/default_theme.rasi
+++ b/doc/default_theme.rasi
@@ -138,6 +138,8 @@ case-indicator {
 entry {
     spacing:    0;
     text-color: var(normal-foreground);
+    placeholder-color: grey;
+    placeholder: "Type to filter";
 }
 prompt {
     spacing:    0;