We have released an update for Portal. Changes in this update are: [*]Fixed missing video card configuration files causing lower than expected default settings when running the first time [*]Fixed bug with threads getting lower priority than expected causing performance issues on OSX and Linux [*]Fixed bad damage indicators if you changed resolution while playing