comparison: src/gtksound.c
src/gtksound.c
- changeset 12828
- 191358fa55c1
- parent 12816
- 5f93e09fa9a6
- child 12850
- 744542bdd53e
equal
deleted
inserted
replaced
| 12827:9157f095aa9d | 12828:191358fa55c1 |
|---|---|
| 50 char *pref; | 50 char *pref; |
| 51 char *def; | 51 char *def; |
| 52 }; | 52 }; |
| 53 | 53 |
| 54 #define PLAY_SOUND_TIMEOUT 15000 | 54 #define PLAY_SOUND_TIMEOUT 15000 |
| 55 #define SQRT2_2 0.70710678118654752440 | |
| 56 | 55 |
| 57 static guint mute_login_sounds_timeout = 0; | 56 static guint mute_login_sounds_timeout = 0; |
| 58 static gboolean mute_login_sounds = FALSE; | 57 static gboolean mute_login_sounds = FALSE; |
| 59 static gboolean sound_initialized = FALSE; | 58 static gboolean sound_initialized = FALSE; |
| 60 | 59 |
