QTfrontend/ui/page/pageplayrecord.cpp
changeset 12081 ed40d46c9e59
parent 11819 7642955690bc
child 12236 a0ed4caa6d35
equal deleted inserted replaced
12080:6c734d8defef 12081:ed40d46c9e59