Dominik Hintersdorf

Results 40 comments of Dominik Hintersdorf

Hey @neoneye, thanks for your suggestion. I like the idea very much! I think the the following things should be kept in mind when implementing the feature: - I think...

Hey @hjleesm, I think this is an important point you mention there. However I think instead of somehow "saving" the order of the menu bar items it would be better...

Yeah, I hope it will be included in the next major update :) I just hijacked your issue for this feature 🙈 😄

Hey guys, sorry it took so long to answer... I am busy right now and can't look into the issue. If some of you wants to look into it just...

Thanks guys. I have merged the PR and I will release a new Version soon.

Hey @bailarin2020, thanks for your feedback. #178 was focusing on a bug that would cause the notification to be only visible for 1 second. Now the notification is always visible...

Sounds like a good idea! I will set up a github pages website the next few days. Maybe we can make some sort of shared community settings page where people...

I know that both models have a parameter `device` when instantiating the models. However, when using `.to(device)` the models are not moved to the device and the `to(...)` call has...

Same happens for me. However, changing the font to `Fira Code` did not work for me. Interestingly if I zoom a bit using `Ctrl` + `+`, it renders correctly. Without...