search

eclipse-platform / eclipse.platform.text

8 stars 45 forks source link

Fix alignment of preference field labels #182

Closed BeckerWdf closed 1 year ago

BeckerWdf commented 1 year ago

This is a continuation of https://github.com/eclipse-platform/eclipse.platform.text/pull/133.

I did not know how to push a second commit to the existing pr #133 .

BeckerWdf commented 1 year ago

I plan to merge this on friday of nobody objects.