Add cursor property (#1313)

* Change mouse cursor on widget hover

Currently only listview element and editbox are supported.

* Add cursor property

3 files changed, 29 insertions, 0 deletions

diff --git a/doc/default_theme.rasi b/doc/default_theme.rasi
index 4c2b39a5..5c6e3bb5 100644
--- a/doc/default_theme.rasi
+++ b/doc/default_theme.rasi
@@ -35,6 +35,7 @@ element {
     padding: 1px ;
     spacing: 5px ;
     border:  0;
+    cursor: pointer;
 }
 element normal.normal {
     background-color: var(normal-background);
@@ -76,11 +77,13 @@ element-text {
     background-color: rgba ( 0, 0, 0, 0 % );
     text-color:       inherit;
     highlight:        inherit;
+    cursor:           inherit;
 }
 element-icon {
     background-color: rgba ( 0, 0, 0, 0 % );
     size:             1.0000em ;
     text-color:       inherit;
+    cursor:           inherit;
 }
 window {
     padding:          5;
@@ -121,6 +124,7 @@ sidebar {
 button {
     spacing:    0;
     text-color: var(normal-foreground);
+    cursor: pointer;
 }
 button selected {
     background-color: var(selected-normal-background);
@@ -151,6 +155,7 @@ entry {
     text-color: var(normal-foreground);
     placeholder-color: grey;
     placeholder: "Type to filter";
+    cursor: text;
 }
 prompt {
     spacing:    0;
diff --git a/doc/rofi-theme.5 b/doc/rofi-theme.5
index 3a555fdb..ad4d61dd 100644
--- a/doc/rofi-theme.5
+++ b/doc/rofi-theme.5
@@ -275,6 +275,8 @@ a reference
 .IP \(bu 2
 an orientation
 .IP \(bu 2
+a cursor
+.IP \(bu 2
 a list of keywords
 .IP \(bu 2
 an environment variable
@@ -754,6 +756,16 @@ Format: \fB\fC(horizontal|vertical)\fR
 .PP
 Specify the orientation of the widget.
 
+.SH Cursor
+.RS
+.IP \(bu 2
+Format: \fB\fC(default|pointer|text)\fR
+
+.RE
+
+.PP
+Specify the type of mouse cursor that is set when the mouse pointer is over the widget.
+
 .SH List of keywords
 .RS
 .IP \(bu 2
@@ -1012,6 +1024,9 @@ Background color
 .IP \(bu 2
 \fBborder\-color\fP:      color
 Color of the border
+.IP \(bu 2
+\fBcursor\fP:          cursor
+Type of mouse cursor that is set when the mouse pointer is hovered over the widget.
 
 .RE
 
diff --git a/doc/rofi-theme.5.markdown b/doc/rofi-theme.5.markdown
index 4dd20b24..0f9dc6dc 100644
--- a/doc/rofi-theme.5.markdown
+++ b/doc/rofi-theme.5.markdown
@@ -189,6 +189,7 @@ The current theme format supports different types:
  * a position
  * a reference
  * an orientation
+ * a cursor
  * a list of keywords
  * an environment variable
  * Inherit
@@ -462,6 +463,12 @@ window {
 
 Specify the orientation of the widget.
 
+## Cursor
+
+ * Format: `(default|pointer|text)`
+
+Specify the type of mouse cursor that is set when the mouse pointer is over the widget.
+
 ## List of keywords
 
 * Format: `[ keyword, keyword ]`
@@ -620,6 +627,8 @@ The following properties are currently supported:
   Background color
 * **border-color**:      color
   Color of the border
+* **cursor**:      cursor
+  Type of mouse cursor that is set when the mouse pointer is hovered over the widget.
 
 ### window: