Changed way that dock widget focus is painted (revert if you don't like it)

Change-Id: Ic3e837f06aa3a7d311b3fe0806ce850076d0c7c1