jeromeip
Everything is in title.
A screenshot for illustration:
Occurs in Windows with b9246 (reminder: please make version number selectable/copiable in option screen)
A screenshot for illustration:
Occurs in Windows with b9246 (reminder: please make version number selectable/copiable in option screen)
Posted Mon 06 Apr 26 @ 6:26 pm
PhantomDeejay
Don't use Emojis ? :P
I mean it must be something specific to your emoji.
Using standard UTF8 symbols instead works fine here..
Jokes aside, the team will take a look and fix.
But yes, using emojis in general is not a good idea.. :p
I mean it must be something specific to your emoji.
Using standard UTF8 symbols instead works fine here..
Jokes aside, the team will take a look and fix.
But yes, using emojis in general is not a good idea.. :p
Posted Mon 06 Apr 26 @ 7:25 pm
jeromeip
You're right about using rather unicode characters, though! Will do.
Posted Mon 06 Apr 26 @ 8:50 pm
Adion
Emoji are unicode characters, how else did you get them there in the first place
Posted Mon 06 Apr 26 @ 9:00 pm
jeromeip
Well... It was strange, the button kept being with a black background even when I removed every special character and filled a plain text label.
Posted Mon 06 Apr 26 @ 9:03 pm
PhantomDeejay
Just to clear something, for technical reasons, I said that I use a symbol of the UTF8 subset.
Technically UTF8 is an encoding standard, while Unicode is a character set.
In theory the symbol used for the emoji above could belong to UTF16 encoding instead of UTF8 and that maybe could be a reason of the issue (that was my initial thought)
But it seems something else is the real reason and not the symbol itself.
More technical blah blah: Quick filters are stored inside settings.xml
Settings.xml file in my system is a UTF-8 encoded file.
Therefore I made the thought that perhaps the user tried to use a character that's later down the unicode page and belongs to utf-16. Which means that it could or could not get stored properly depending on how VirtualDJ deals with it :)
Technically UTF8 is an encoding standard, while Unicode is a character set.
In theory the symbol used for the emoji above could belong to UTF16 encoding instead of UTF8 and that maybe could be a reason of the issue (that was my initial thought)
But it seems something else is the real reason and not the symbol itself.
More technical blah blah: Quick filters are stored inside settings.xml
Settings.xml file in my system is a UTF-8 encoded file.
Therefore I made the thought that perhaps the user tried to use a character that's later down the unicode page and belongs to utf-16. Which means that it could or could not get stored properly depending on how VirtualDJ deals with it :)
Posted Mon 06 Apr 26 @ 10:26 pm
Adion
Utf8 and utf16 are not subsets, they are ways to encode Unicode code points, and any unicode code point can be encoded with either utf8, 16 or 32
Posted Tue 07 Apr 26 @ 4:34 am
jeromeip
FYI : I put some emoji in my list folders too, some of them appear nicely, some don't.
I understand this is risky to step out of standard characters, yet it’s bringing some fun in my interface ✨
I understand this is risky to step out of standard characters, yet it’s bringing some fun in my interface ✨
Posted Tue 07 Apr 26 @ 9:41 am
Adion
Could you paste the emoji you tried to use here?
I tried several, but they all showed up fine
I tried several, but they all showed up fine
Posted Wed 08 Apr 26 @ 2:08 pm
jeromeip
Hum.... It was ⭐ emoji.
But, after reboot, and after re-creation, it's now displaying correctly.
So fuzzy bug. As it is just a minor display issue, you probably should discard it.
But, after reboot, and after re-creation, it's now displaying correctly.
So fuzzy bug. As it is just a minor display issue, you probably should discard it.
Posted Fri 10 Apr 26 @ 8:50 am