Without this improvement, users can only edit task priority on taskboard when it is already differs from the default priority or when "Show task priority on taskboard" setting is enabled (so all tasks shows priority property even when it is the default one).
With this imporvement, users can edit priority even when it is the default one and the "Show task priority on taskboard" setting is disabled. After changing a default priority to something else, it will appear on the task' box of course and disappear when set back to the default.
…isible on it
Without this improvement, users can only edit task priority on taskboard when it is already differs from the default priority or when "Show task priority on taskboard" setting is enabled (so all tasks shows priority property even when it is the default one).
With this imporvement, users can edit priority even when it is the default one and the "Show task priority on taskboard" setting is disabled. After changing a default priority to something else, it will appear on the task' box of course and disappear when set back to the default.