Home
last modified time | relevance | path

Searched refs:hint_status (Results 1 – 3 of 3) sorted by relevance

/dports/games/hitori/hitori-3.38.3/src/
H A Dinterface.c382 if (hitori->hint_status % 2 == 1) { in hitori_draw_cb()
532 hitori->hint_status = HINT_DISABLED; in hitori_cancel_hinting()
547 if (hitori->hint_status == HINT_DISABLED) in hitori_update_hint()
550 hitori->hint_status--; in hitori_update_hint()
553 g_debug ("Updating hint status to %u.", hitori->hint_status); in hitori_update_hint()
580 if (hitori->hint_status == HINT_DISABLED) { in hitori_update_hint()
595 if (self->hint_status != HINT_DISABLED) in hint_cb()
609 self->hint_status = HINT_FLASHES; in hint_cb()
H A Dmain.h95 guint hint_status; member
/dports/www/hotcrp/hotcrp-2.102/src/
H A Dsettingvalues.php287 private $hint_status = array(); variable in SettingValues
778 if (str_ends_with($type, "date") && !isset($this->hint_status["date"])) {
779 $this->hint_status["date"] = true;
781 } else if ($type === "grace" && !isset($this->hint_status["grace"])) {
782 $this->hint_status["grace"] = true;