| Author |
Message |
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
 Database Explorer font |
 |
Hello.
Please, add the feature to change the font for the database explorer window like we can do it now for the Editor font.
With best regards,
Dmitry.
|
|
| Thu Oct 26, 2017 11:35 pm |
  |
 |
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
I will check with the team if that is technically doable and get back to you on this one.
|
|
| Mon Oct 30, 2017 9:57 am |
|
|
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
I've got confirmation that this feature will be implemented in the next maintenance version.
|
|
| Wed Nov 01, 2017 2:22 am |
|
|
gemisigo
Joined: 11 Mar 2010
Posts: 2165
|
|
| |
|
Do you have an ETA for the next maintenance version?
|
|
| Fri Nov 10, 2017 6:30 pm |
|
|
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
It's expected in about 3 weeks from today.
|
|
| Sun Nov 12, 2017 6:04 pm |
|
|
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
| |
|
 |
|
I've got confirmation that this feature will be implemented in the next maintenance version. |
Hello.
Is this feature implemented?
How I can customize the db explorer font?
|
|
| Tue May 08, 2018 12:50 am |
|
|
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
It can be changed in the Options dialog
DB Options -> Database Explorer -> Font
Last edited by SysOp on Wed May 16, 2018 1:18 am; edited 1 time in total |
|
| Tue May 08, 2018 8:33 am |
|
|
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
| |
|
Thank you very much!
So much better ☺.
|
|
| Wed May 16, 2018 12:27 am |
|
|
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
| |
|
Hello!
I just discovered that option to customize the DB Explorer font is disapear from the Options Dialog.
SQL Assitant version 11.1.125
Please return it.
With best regards.
|
|
| Fri Mar 27, 2020 12:58 am |
|
|
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
Fonts and colors are now theme specific.
Please see Targets -> Theme Colors -> ... pick a theme ... -> DB Explorer -> bunch of UI related options here
|
|
| Mon Mar 30, 2020 1:58 am |
|
|
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
| |
|
I tried change Font settings in the Theme Colors → DB Explorer..., but it seems font size settings are not applied.
Font name is applied.
|
|
| Mon Mar 30, 2020 7:40 am |
|
|
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
Thanks. I'm going to try that too and see if it works for me.
|
|
| Mon Mar 30, 2020 11:51 am |
|
|
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
| |
|
And it seems the Data Grid font option in Target → Common → Data Grid block also doesn't affect.
|
|
| Mon Mar 30, 2020 11:43 pm |
|
|
SysOp
Site Admin
Joined: 26 Nov 2006
Posts: 7948
|
|
| |
|
I have confirmed with the team that this is a recent regression in the themes library, which overrides tool specific font size with theme specific font size. A fix for this issue will be provided in 11.2 maintenance release
|
|
| Mon Mar 30, 2020 11:52 pm |
|
|
dmitry.1969
Joined: 22 Mar 2013
Posts: 14
Country: Russian Federation |
|
| |
|
Thanks.
|
|
| Tue Mar 31, 2020 2:39 am |
|
|
|
