Я новичок в кодировании испин и промела. Мне удалось заставить автоматы просматривать работу в ispin, но проблема, с которой я столкнулся на данный момент, заключается в том, что когда автоматы немного сложны, тексты меток (метка перехода, имя состояния) становятся действительно маленькими, и я не могу их прочитать. Даже если я нажму кнопку увеличения, это только увеличит диаграмму состояния, но тексты останутся прежними. Есть ли способ увеличить размер шрифта в автомате просмотра текстов?