Hi Jeremy,
 Many thanks for clarification!

Best wishes
Mohammad

On Monday, April 6, 2020 at 3:06:25 PM UTC+4:30, Jeremy Ruston wrote:
>
> Hi Mohammad
>
> The recommended way to change the editor font in v5.1.22  is via a 
> separate theme tweak for setting the editor font.
>
> The select widget renders an HTML select element which is generally 
> rendered by browsers to match the operating system. You should be able to 
> override the font with a CSS rule targetting select elements.
>
> Best wishes
>
> Jeremy
>
> --
> Jeremy Ruston
> [email protected] <javascript:>
> https://jermolene.com
>
> On 6 Apr 2020, at 10:44, Mohammad <[email protected] <javascript:>> 
> wrote:
>
> 
> Thanks Mat for the useful link!
>
> I have still the issue on editor! even if I put the font in font family 
> input box in Theme Tweaks.
>
> --Mohammad
>
> On Monday, April 6, 2020 at 1:59:48 PM UTC+4:30, Mat wrote:
>>
>>
>>>    - The drop down like $select widget e,g $:/ControlPanel, Sidebar Layout 
>>> shows different font (seems cannot find the font)
>>>
>>> https://css-tricks.com/dropdown-default-styling/
>>
>> <:-)
>>
> -- 
> You received this message because you are subscribed to the Google Groups 
> "TiddlyWiki" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to [email protected] <javascript:>.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/tiddlywiki/add5272a-51fd-48d5-9dff-608e1a08f482%40googlegroups.com
>  
> <https://groups.google.com/d/msgid/tiddlywiki/add5272a-51fd-48d5-9dff-608e1a08f482%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"TiddlyWiki" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/tiddlywiki/bcdaadaf-2326-4b1d-85d9-e33f37dec731%40googlegroups.com.

Reply via email to