Closes Issue #252: Bug: After updating Options, task list selection is lost. Ensures that, after Options are set, the task list is refreshed only if options related to its display are changed. Those options are: "Current Font" (any font attributes), "Allow grouping of tasks", and "Filter text is case-sensitive".