tree 349c3e8dbbb21111d90a8dc0917a1625071c9e8b
parent a83a65bf46366a0d6ecdd9ac36da2c19a4e05268
author Markus Keller <mkeller> 1322771006 +0100
committer Markus Keller <mkeller> 1322771006 +0100

Bug 364815: [preferences] UI for new preferences regarding annotation
based null analysis

First cut (annotation text fields need more work)