There is an option available to change the font size of the SQL entry area as shown below.
I'm looking to modify the size of the text in the query table in results tab.
Is there a separate menu available in UI to change the font sizes of the results tab?
I'm using Squirrel v3.9.1 for macOS if that's helpful.
Not a duplicate.
In the Windows version it's just Global Preferences + Fonts + Other
Related
I am just starting to use PhpStorm (version 2021.2.2)
I can see you can easily make the text larger in the editor using ctrl mouse wheel. But is there a way to expand the general application text, e.g. as used in the menus, tool windows, project tree structure, etc?
This would be the equivalent of the View->Appearance->Zoom In option in VS Code.
Settings (Preferences on macOS) | Appearance & Behavior | Appearance | Use custom font -- you can specify custom font size there.
Default settings (Windows 10; no screen scaling or alike; all native 100%):
Custom font size (16):
Click to open both images in new tabs and switch between them to compare
Texts resolution and Font size is quite low which is putting a lot of strain on my eyes.
I have tried using Edit->Preferences->fonts and colors and then changing the font sizes but its not working not even on restart.
I have also tried correcting the resolution by changing the High DPI Setting and then overriding the scaling performed by Application. In this case the resolution is increased but font becomes even smaller.
Can anyone tell me how to figure out this?
I was facing the same problem of blurried fonts and textures after installing MySQL Workbench 8.0 on my new Windows 10 machine. The following steps worked for me:
step 1: Fix blurried textures. Go to the MySQL Workbench installation folder (Windows start menu, type in "Workbench" and right click on the icon and select open file location). After that, right click "MySQL Workbench 8.0 CE" and select properties, switch to tab Compatibilityand click the button Change high DPI settings. In the lower part of this window, under High DPI scaling behaviourcheck the box (i.e. "override high DPI scaling behaviour") and select the scaling being performed by Application. Click OK to close the window and click on Apply and OK to save the settings and close the window. (screenshot: Properties Window of MySQL Workbench: overriding high DPI scaling by Application)
step 2: increase text size. In MySQL Workbench, click on Edit and Preferences. In the navigation bar on the left-hand side of the preferences window, click on 'Appearance' (located under the group 'Modeling'). On the right-hand side, the lower section lists the fonts (and sizes) of the respective objects. In order to change the font type and/or size, click on an element within the column "Font" and click it again (do not double click!). By default, the following two font type/size defintions are set: Tahoma 11 and Tahoma Bold 12. (screenshot: Workbench Preferences-window)
optional: zoom in. If you still feel unconfortable with the displayed text size, you can - at least in terms ERD models (and maybe some other aspects) - zoom in. Unfortunately, this is not implemented via clicking and holding CTRL and mouse wheel scrolling. Instead you can either use CTRL + + (or - for zooming out) or you can use the magnifier-icons in the "Bird's Eye" pane (usually upper left pane).
Is it possible to define a shortcut to increase/decrease size of code in PhpStorm, like what you can do in Notepad++ with CTRL+Mouse Wheel?
Enable CTRL+Mouse Wheel: Settings -> Editor -> Change font size (Zoom) with Ctrl+Mouse Wheel (check).
Specify exact font size: Settings -> Editor -> Colors & Fonts -> Font.
I am able to change my PHP Storm (version 8.0.3 or later) Fonts by
Go to File and then click Settings.
Form Left Side Menu, Select Editor --> General Tab
Check this box under Mouse section Change font size (zoom) with Ctrl_Mouse Wheel (see below pic).
30 Second Demo Here
in new version in this address
file > setting > Editor > general
check this item
Change font size (Zoom) with Ctrl+Mouse Wheel
Also you can use View → Enter Presentation Mode.
Default font size for this mode is 24.
You can change it here: Settings → Appearance → Presentation Mode → Font size
The pre-defined schemes are not editable. To change colors and fonts settings in such a scheme, create its copy.
So to change font size select any scheme of your choice. Save the "scheme" as a copy with a name like "scheme 2".
Now the default font size will be editable.
In MacOS, you should navigate to the PhpStorm -> Preferences -> Editor -> General screen and check/uncheck the "Change font size (Zoom) with Command + Mouse Wheel" checkbox. I unchecked because I don't like it but maybe you do.
Moreover, you can use the finder field in the top left corner of the same PhpStorm -> Preferences dialog. Type the word "size" in this field and you will see a couple of items on the right hand side of the dialog. There are the Editor Actions -> Decrease Font Size and Editor Actions -> Increase Font Size options.
Right click each of them and choose "Add Keyboard Shortcut". Finally, press the Ctrl and numerical plus in case of Increase and Ctrl and numerical minus in case of Decrease and press OK (if you have numerical part of your keyboard).
In PhpStorm 2020.2.1 go to :
Settings -> Editor-> Font
That's it
Switching beetween Editors and zooming text during presentations or so could be complicated.
If you used to do it like in notepad++ than maybe this helps if you use win:
^NumpadAdd::
send,^{WheelUp}
return
the complete script you could find here: https://gist.github.com/sl5net/7170280#file-gistfile1-txt
I am using MySQL Workbench 5.2, the newest version as far as I know, but I simply cannot change the font. It is very inconvenient, because the default font is very small and harsh on the eyes. The appearance tab has options for changing the font, but no change can actually be made there, as the field cannot actually be edited.
Does anyone know of a way around this? It seems to be a common bug, but I can't find a fix anywhere.
In the
Edit > Preferences... > Appearance > Fonts section
of the mentioned version, you can edit the font but you have to slowly double click, as its very wonky (or press enter) and then you manually have to type in the font name followed by a space and font size for example mine states:
Source Sans Pro 10
Also it requires a program restart.
On Mac, on the top left corner,
MYSQLWorkbench -> Preferences -> Fonts
Increase the numbers here
NOTE : Make sure to close the instance and reopen it for these changes to apply.
Only thing you need to do is increase zoom:
(MySQL: 8.0.12)On a mac computer.
picture of mysql and an arrow pointing to the zoom tool
IF YOU ARE ON LINUX (DEBIAN and many others)
Hold ctrl and scroll up (mouse scroll)
Similarly for Mac OS X using the hidden path below (ref: this link):
"You can edit the preferences directly in their XML files. Shut down MWB. Then edit the file ~/Library/Application Support/MySQL/Workbench/wb_options.xml. Look for the key workbench.general.Editor:Font, and change the font there. Now restart MWB to see your change."
Edit -> Preferences... -> Appearance -> Fonts section
Highlight a row, click ENTER, you can then edit the font and size.
Restart the app after.
Well, I just wanted to increase the size of font only because it was too small in my WB 6.1.
Close WB
Go to:
C:\Users\<User>\AppData\Roaming\MySQL\Workbench\wb_options.xml,
where <User> is your Windows user login name.
Locate "workbench.general.Editor:Font".
I had Consolas 10 there, and changed it to Consolas 13.
That increased font to a comfortable size.
After clean installing MySQL Workbench (WB) 5.2.47 (Windows 7) on a new machine, I wanted the Lucida Console font as I am used to, but for some reason WB chooses a different font for reserved keywords, making the code unreadable. There is no setting for reserved keywords. So I could not easily change this by editing the wp_options.xml file. The only font setting which was acceptable was Courier New.
Then I went to another machine, and copied wp_options.xml from a WB 5.2.47 which had a history of WB upgrades. That did the trick, it worked fine on the newly installed WB.
Looking at the both wp_options.xml files in a text diff tool, I noted many differences, but not any that could explain the difference. My conclusion is that Oracle needs to work with UI configuration, as it is not OK that subtle, obscure edits in the wp_options.xml file is what is required to make the WB UI acceptable.
You can also do ctrl + mouse scroll to control size of font just like we do in VS code
I have an odd issue while using FlashCS4.
I have a textfield that, when set to
STATIC TEXT works absolutely fine, in
the correct font.
If I set it to DYNAMIC TEXT, the text
shows up as Arial or some other
default on systems where the selected
font isn't available. It shows up in
the proper font on systems that have
the font installed.
If I set it to EMBED CHARACTERS the
text doesn't show up at all on ANY
system, whether the font is installed
or not.
I have tried embedding the font using the [EMBED] tag in my accompanying AS3 code, and I have the font added to the Library in CS4 as well.
In CS4 I've tried selecting the font for the textfield as both the standard OS Font, as well as the one with the Asterisk next to it, but get the same results both ways.
The library font is set to "export for actionscript" and "on frame 1". The font contains no bold/italic/etc. data, and I'm not using any special styling (other than centering the text).
I don't think it's an issue with the font not being available, otherwise it wouldn't show up when it is set to Dynamic without any embedded characters. It's also strange that it wouldn't show up on the computer that has the font installed.
Help?
Did you click on "Character Embedding" and selected Uppercase, lowercase, numerals and punctuation.
I've found that his problem occours when only a set amount is selected. This should work without any other embedding code, and should not need any library.
Try having just the dynamic textfield on a new flash file and try that only, it should work.
A good way of seeing if they embedded properly is when you rotate the text field, as un-embedded will not show up.
Also try this: Under publish settings -> Flash tab, set Generate size report, and it will show you the fonts and the characters that have been embedded.
if they're showing up there, there's something else you're doing or not doing that's causing this
Turns out the particular font I was using was broken somehow. I started using a different version of the font downloaded from a different site, and everything worked normally. I could not detect any errors or corruption in the original font's download. :/