In my opinion, theoretical keys or not, it is a software bug.

If the drop down box allows Dbm as well as C#m then the printed leadsheet should show the correct number of flats or sharps. If Dbm were not in the drop down menu of allowed keys, then fine, 4 sharps it always would and should be.