Hi Stephen,
The Tiva PinMux Utility is limited to what has been demonstrated at the video from the link below. As you have mentioned, you need to cut and paste the generated code for your use.
http://www.ti.com/tool/tm4c_pinmux
You, can alternatively post this at the Tiva ARM forum for your upgrade request. I think the people who made the Tiva PinMux utility frequent the Tiva ARM Forum.
-kel