> > What is the best way to adjust the time format in BlueDot theme ONLY?
How this is the hard question. The easiest would be to make bluedot not need programatically different behaving cinelerra. Otherwise you add a theme-set property and change behaviour of the function that does output depending on that property. > I would like to make it 11 digits but without leading 0's if possible. > All suggestions and comments will be greatly appreciated. > > All the best and thank you for your help in advance! > > Miha > > P.S. For deeper understanding of the changes require please refer to the > diff file posted to the list by me on 25th of Oct. yes, bye andraz _______________________________________________ Cinelerra mailing list Cinelerra@skolelinux.no https://init.linpro.no/mailman/skolelinux.no/listinfo/cinelerra