Correct, one of the conditions under which the Republic of Texas allowed itself to be annexed was that as a state it would keep the “public domain” land it held as a republic. The federal government owns only the dribs and drabs that it acquired afterward for specific purposes–national parks, military bases, and the like.