2019-08-29 01:35:37 +02:00
|
|
|
/// The state of a button.
|
2019-07-20 19:12:31 +02:00
|
|
|
#[derive(Debug, Hash, Ord, PartialOrd, PartialEq, Eq, Clone, Copy)]
|
|
|
|
|
pub enum ButtonState {
|
2019-08-29 01:35:37 +02:00
|
|
|
/// The button is pressed.
|
2019-07-20 19:12:31 +02:00
|
|
|
Pressed,
|
2019-08-29 01:35:37 +02:00
|
|
|
|
|
|
|
|
/// The button is __not__ pressed.
|
2019-07-20 19:12:31 +02:00
|
|
|
Released,
|
|
|
|
|
}
|