[SOLVED] TerminalWidget on Digital or Analog pins

The app on iOS allows the Terminal settings to be on an Analog or Digital pin. I thought only Virtual pins are possible.
WidgetTerminal terminal(D12); does not work though.
How can a terminal beeing used with D12?

It seems like a bug in IOS. thanks for reporting.