Re: AW: AW: Adding --set to videoinfo to retrieve current video resolution

2022-12-13 Thread Daniel Kiper
On Tue, Dec 13, 2022 at 07:06:51PM +0800, Zhang Boyang wrote: > Hi, > > On 2022/12/12 19:09, Markus Scholz wrote: > > Hi, > > > > thank you again for your reply and explanation. Despite the different > > focus, I am still looking forward to try out your additions. > > > > Regarding my videoinfo pat

Re: AW: AW: Adding --set to videoinfo to retrieve current video resolution

2022-12-13 Thread Zhang Boyang
Hi, On 2022/12/12 19:09, Markus Scholz wrote: Hi, thank you again for your reply and explanation. Despite the different focus, I am still looking forward to try out your additions. Regarding my videoinfo patch I submitted them using git to the mailing list. What is the best way forward here?

Re: AW: AW: Adding --set to videoinfo to retrieve current video resolution

2022-12-12 Thread Markus Scholz
Hi, thank you again for your reply and explanation. Despite the different focus, I am still looking forward to try out your additions. Regarding my videoinfo patch I submitted them using git to the mailing list. What is the best way forward here? Since its just a single file and no deep changes

Re: AW: AW: Adding --set to videoinfo to retrieve current video resolution

2022-12-10 Thread Zhang Boyang
Hi, On 2022/12/6 22:17, Markus Scholz wrote: Hi Zhang, now I need to apologize for my very late reply.. sorry! I saw that you also went ahead as you said with committing the highdpi patches. Anyways, regarding the high DPI question: until now we have mostly focused on different screen resoluti