global: remove wait_space since it can be done by user_input_get

global.c

@@ -188,16 +188,6 @@ void user_input_store(char c)
 	user_input_available = true; // update available data
 }
 
-bool wait_space(void)
-{
-	if (' '==user_input_get()) { // space entered
-		return true;
-	} else { // something else entered
-		return false;
-	}
-}
-
-
 void board_setup(void)
 {
 	// setup LED

global.h

@@ -389,16 +389,12 @@ extern volatile bool user_input_available;
  *  @return string with binary representation of the number
  */
 char* b2s(uint64_t binary, uint8_t rjust);
-
 /** switch on board LED */
 void led_on(void);
-
 /** switch off board LED */
 void led_off(void);
-
 /** toggle board LED */
 void led_toggle(void);
-
 #if defined(BUSVOODOO)
 /** set LED blinking pattern
  *  @param[in] period blue+red pattern duration in seconds (up to 3+3)
@@ -406,35 +402,25 @@ void led_toggle(void);
  */
 void led_blink(double period, double duty);
 #endif
-
 /** go to sleep for some microseconds
  *  @param[in] duration sleep duration in us
  */
 void sleep_us(uint32_t duration);
-
 /** go to sleep for some milliseconds
  *  @param[in] duration sleep duration in ms
  */
 void sleep_ms(uint32_t duration);
-
 /** get user input
  *  @note verify availability using user_input_available
  *  @warning blocks and sleeps until user input is available
  *  @return user input character
  */
 char user_input_get(void);
-
 /** store user input
  *  @param[in] c user input character to store
  *  @note old data will be overwritten when buffer is full
  */
 void user_input_store(char c);
-
-/** wait for user to press space
- *  @return if the user press space (true) or something else
- */
-bool wait_space(void);
-
 /** setup board peripherals */
 void board_setup(void);