Constant THEME_WATCH_INTERVAL 

pub const THEME_WATCH_INTERVAL: Duration;

How often watch_themes_dir looks for changed theme files.