mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-03 04:23:42 -05:00
db5a4723e7
* Change mouse cursor on widget hover Currently only listview element and editbox are supported. * Add cursor property
35 lines
613 B
C
35 lines
613 B
C
#include "rofi-types.h"
|
|
|
|
/**
|
|
* Name of the property type
|
|
*/
|
|
const char * const PropertyTypeName[P_NUM_TYPES] = {
|
|
/** Integer */
|
|
"Integer",
|
|
/** Double */
|
|
"Double",
|
|
/** String */
|
|
"String",
|
|
/** Character */
|
|
"Character",
|
|
/** Boolean */
|
|
"Boolean",
|
|
/** Color */
|
|
"Color",
|
|
/** Padding */
|
|
"Padding",
|
|
/** Link to global setting */
|
|
"Reference",
|
|
/** Position */
|
|
"Position",
|
|
/** Highlight */
|
|
"Highlight",
|
|
/** List */
|
|
"List",
|
|
/** Orientation */
|
|
"Orientation",
|
|
/** Cursor */
|
|
"Cursor",
|
|
/** Inherit */
|
|
"Inherit",
|
|
};
|