I thought about your suggestions and decided to resubmit my patch with the suggested modifications.
Would it be OK if I
* add a new tab "General" to the preferences dialog
* add a frame "Tag Pane" to this tab
* add checkboxes "Display number of tagged documents"
and "Tag font size reflects number of tagged documents" to this frames?
Should I also add the posibility to set the alignment of the tags?
I thought about your suggestions and decided to resubmit my patch with the suggested modifications.
Would it be OK if I
* add a new tab "General" to the preferences dialog
* add a frame "Tag Pane" to this tab
* add checkboxes "Display number of tagged documents"
and "Tag font size reflects number of tagged documents" to this frames?
Should I also add the posibility to set the alignment of the tags?