2 tablespoons olive oil
3 cloves garlic, chopped
1/2 cup diced red onion
salt to taste
6 crimini mushrooms, chopped
4 small mixed sweet peppers, julienned
1/2 cup cherry tomatoes, halved
4 leaves fresh basil, chopped
1/2 cup balsamic vinegar
1 (16 ounce) package potato gnocchi
1 cup Additional butter or margarine