2 tablespoons olive oil
1 pound flank steak, cut into strips
1 onion, thinly sliced
1 teaspoon minced garlic
1 (6 ounce) package fresh button mushrooms, sliced
1 red bell pepper, cut into strips
1 yellow bell pepper, cut into strips
1 (14.4 ounce) can diced tomatoes
1 teaspoon smoked sweet paprika
1 (1 pound) package potato gnocchi