diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-07 20:10:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-07 20:10:50 +0100 |
| commit | e4b02513fe4e352c4ba74fc28b306e83b7014083 (patch) | |
| tree | b0416c0b4d287b4140610060f73794f83e4d8558 /editor/plugins/script_text_editor.h | |
| parent | 270eae0a05bbcb3795bca63217d0c969c4c9a234 (diff) | |
| parent | a6743414f86dbb40915668bb347b4d2c16a631b8 (diff) | |
Merge pull request #24301 from marcelofg55/default_device_pulseaudio
PulseAudio driver will now change the device if the default system device changes
Diffstat (limited to 'editor/plugins/script_text_editor.h')
0 files changed, 0 insertions, 0 deletions