mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-18 13:54:36 -05:00
Fix checks compiling
This commit is contained in:
parent
69f90203a0
commit
ae200fd164
2 changed files with 5 additions and 0 deletions
|
@ -410,8 +410,10 @@ Property *rofi_theme_find_property ( ThemeWidget *widget, PropertyType type, con
|
||||||
*/
|
*/
|
||||||
gboolean rofi_theme_is_empty ( void );
|
gboolean rofi_theme_is_empty ( void );
|
||||||
|
|
||||||
|
#ifdef THEME_CONVERTER
|
||||||
/**
|
/**
|
||||||
* Convert old theme colors into default one.
|
* Convert old theme colors into default one.
|
||||||
*/
|
*/
|
||||||
void rofi_theme_convert_old ( void );
|
void rofi_theme_convert_old ( void );
|
||||||
#endif
|
#endif
|
||||||
|
#endif
|
||||||
|
|
|
@ -574,6 +574,8 @@ gboolean rofi_theme_is_empty ( void )
|
||||||
return FALSE;
|
return FALSE;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#ifdef THEME_CONVERTER
|
||||||
|
|
||||||
void rofi_theme_convert_old ( void )
|
void rofi_theme_convert_old ( void )
|
||||||
{
|
{
|
||||||
if ( config.color_window ) {
|
if ( config.color_window ) {
|
||||||
|
@ -639,3 +641,4 @@ void rofi_theme_convert_old ( void )
|
||||||
g_strfreev ( retv );
|
g_strfreev ( retv );
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
#endif // THEME_CONVERTER
|
||||||
|
|
Loading…
Reference in a new issue