Mercurial > libervia-backend

diff sat/plugins/plugin_dbg_manhole.py @ 3106:7f7cdc6ecfd8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
plugin android: sound notification + change settings: - new notification sound - vibration and notification sound are now activated depending on ringer mode (normal, vibrate or silent) - notification sound/vibration can be configured in settings.
author Goffi <goffi@goffi.org>
date Fri, 03 Jan 2020 13:21:27 +0100
parents 9211c0d8b50c
children 2b0f739f8a46
line wrap: on
line diff