Is there a fix in the near future because the auto hide task bar is a real annoyance when it isn't working or is there another method of correction?