Multiple devices sharing one SPI channel

[DeanJonesInfrabuild]

I want to use an ST7735 display and a MAX31855 thermocouple interface on one SPI channel, using CS outputs to select the required device. The MAX31855 module uses the Adafruit library, which I believe allows multiple SPI devices, but I don't know if that is restricted to being multiple Adafruit devices sharing their SPI library functions.
Does the TFT_eSPI library manage the CS output to allow this type of sharing?

I did the easy way and asked CoPilot which gave this response:
Yes, the Adafruit BusIO library does support multiple SPI devices on one bus using Chip Select (CS) for device selection. Each SPI device on the bus can be controlled by a unique CS pin, allowing you to communicate with multiple devices by toggling their respective CS pins