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