Simplified the Save widget more: Save button is now enabled also when it acts as "Save as ..."