// For: https://forum.arduino.cc/t/1-push-button-2-variabler-led-s/1035629
//
// Added "Pin" to the variable names for pin numbers.
// Reformatted text
//

int ButtonPin = 2;                          // push button pin
int Led1Pin = 7;                            // led pin
int Led2Pin = 8;

int LedState = LOW;

int ButtonPinRead;
int ButtonPinState = LOW;
int ButtonPinStateOld = LOW;

unsigned long lastDebounceTime = 0;
unsigned long debounceDelay = 50;


void setup() 
{
  pinMode(ButtonPin, INPUT_PULLUP);
  pinMode(Led1Pin, OUTPUT);
  pinMode(Led2Pin, OUTPUT);
}

void loop() 
{
  ButtonPinRead = digitalRead(ButtonPin);
  if (ButtonPinRead != ButtonPinStateOld) 
  {
    lastDebounceTime = millis();
    ButtonPinStateOld = ButtonPinRead;
  }

  if (millis() - lastDebounceTime > debounceDelay) 
  {
    if (ButtonPinRead == HIGH && ButtonPinStateOld  == LOW) 
    {
      if (LedState == LOW) {
        LedState = LedState + 1;
      }
    }

    switch (LedState) 
    {
      case 1:
        digitalWrite(Led1Pin, HIGH);
        break;
      case 2:
        digitalWrite(Led1Pin, HIGH);
        digitalWrite(Led2Pin, HIGH);
        break;
      case 3:
        digitalWrite(Led1Pin, LOW);
        digitalWrite(Led2Pin, LOW);
        break;
    }
  }
  ButtonPinStateOld = ButtonPinRead;
}