81aab71ffd
Make selected file in file tree bold in BS5 GitOrigin-RevId: 3353164455c3261ea52f9aee6cef3b1bc614ee4e
Make selected file in file tree bold in BS5 GitOrigin-RevId: 3353164455c3261ea52f9aee6cef3b1bc614ee4e