For a while now I am looking for a solution to increase selected components font sizes in Eclipse IDE. This is due to the fact, that this IDE is completely unusable on high DPI monitor (unless one is a hawk).
In this answer ( Change Project Explorer tree view font size in Eclipse Oxygen ) I have found how to increase the font size of the project explorer and the outline:
.MPart Tree {
font-family: Consolas;
font-size: 14;
}
Now I am looking for a way to increase the font of context assist. This simple solution wont do:
* {
font-size: 14;
font-family: Hack;
}
It does increase all possible fonts in the editor, but it also forces this font size everywhere. For example, If I change the font of the editor (by doing ctrl - or ctrl shift +), then click away somewhere, the editor font will detrimentally go back to the set font in the css file. I believe this is somehow bugged. So the only way for me now is to increase the content assist font only. Is there a css tag for that? How to do this?
Related
I want to easily change my application's font using CSS.
This is what I do to change it:
.root{
-fx-font-family: "Courier New";
}
The font's are changed but all the elements are displaced (I guess it's because of the new font's size).
How can I keep the fonts with the same position and size when changing the font?
Even the textareas are narrower...
I attach two pictures with the difference.
Thanks in advance.
I'm currently using the Recent Posts widget that comes with WordPress. Is it possible to change the CSS of the links? I want the font to be smaller and not display in bold as it does now. I know it inherits these settings (bold links and font size), but I would like to overwrite them.
Many thanks!
You can change the font styling on the recent posts by adding this to your CSS rules (changing the font size to suit your needs):
.widget-inner a {
font-weight: normal;
font-size: 14px;
}
I am using Postman tool for hitting the REST api with request and response. I want to increase the font size of the request. Under Settings there seem to be just one option to increase the font size of the response but not for request.
How can the font size of the request be increased?
Use Ctrl + (key) and =+ (key, near to Backspace button). Press all keys at the same time.
It's working.
You can change postman font in Settings->User Interface->Editor Font Size(px) option
see the image
The old postman app is just another webpage underneath it all, so use control +
For version 3, they've changed it to launch as a chrome desktop app. You can use a trick to open the developer tools, and change the fonts, or anything else, as you see fit. With Postman open, open a new tab in Chrome, and go to chrome://inspect/#apps. If Postman is open, you should see it listed in that page. Click the inspect link under it. Then you'll be able to inspect the elements whose fonts are too small, and change them. I believe it's just the input[type="text"].basic-text-input CSS selector, where you'll want to disable/change the 1.3rem font-size rule.
You can use the Settings > UI size option to change the font size of the interface.
The reason you can't zoom with ctrl++ is that you are probably using the plus key in the numpad section of your keyboard. You need to use the plus key next to backspace key.
keyboard screenshot here
Click Ctrl + + to increase the font size of postman.
For MAC Users.
Postman -> Preferences -> Settings -> Shortcuts
Command + or Command -
For native client
Go to Settings -> General -> User Interface -> Font size
If you install postman launcher, you will have a real web page like this:
You could change everything you want.
None of the answers here worked for changing the UI font size in the version of Postman that I have, 4.7.0. This is quick and dirty but it worked:
Open ~\AppData\Local\Google\Chrome\User Data\Default\Extensions\fhbjgbiflinjbdggehcddcbncdddomop\4.7.0_0\js\requester.js.
Replace all font: 12px with font: 1.25rem (or your REMs of choice).
Save and restart Postman.
To improve the font size forever, you just open the file "4.7.2_0/html/requester.html" with your text editor and add this code at the end of the file before the close of the tag </body>
In my case: C:\Users\Stepan\AppData\Local\Google\Chrome\User Data\Default\Extensions\fhbjgbiflinjbdggehcddcbncdddomop\4.7.2_0
<style> .editor.ace_editor { font-size: 18px !important; } </style>
Reopen the app/extension and enjoy :P
Click on File
Go to Settings
There's a section for User Interface
Change the "Editor Font Size(px) to whatever value you want. I use 14. Seems big enough.
Postman Settings Image
Top menu of Postman window: View → Zoom In / Zoom Out scales down the UI.
Go to C:\Users[User]\AppData\Local\Google\Chrome\User Data\Default\Extensions\fhbjgbiflinjbdggehcddcbncdddomop\3.2.8_0\css\requester, look for the style are you using in Postman, example "style.dark.css" and changue to 1.4rem:
#body, #code-data {
font-family: "PTMono", Consolas, Courier, monospace, sans-serif;
font-size: 1.2rem; // change to 1.4rem }
I try to change the font size of package explorer in Eclipse from menu Window → Preferences → General → Appearance, and I fail to change the font size. How can I do that? I use Eclipse v4.2 (Juno) on Windows 7.
On Juno and up you can adjust that font by CSS.
Lookup the files in eclipse\plugins\org.eclipse.platform_4.2.x.y\css for your current style sheet (probably e4_default_win7.css), and then just add the following rule:
#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree {
font-size: 10px; /* <-- Desired font size */
}
Update: stylesheets are in eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css folder since Eclipse 4.4 (Luna).
FYI:
From Eclipse v4.4 (Luna):
It looks like the CSS files are no longer in the old folder:
`eclipse/plugins/org.eclipse.platform_4.x.x.vy/css`,
They are moved to the new folder:
eclipse/plugins/org.eclipse.ui.themes_x.x.x.vxxxxx/css
And you must select a theme to apply it, in the menu Windows → Preference → General → Appearance.
This worked for me:
.MPart Tree{
font-size: 8;
}
These are my settings and a screenshot of the IDE.
#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree,
#org-eclipse-ui-views-ContentOutline Tree,
#PerspectiveSwitcher ToolBar {
font-size: 8px;
}
.MPartStack {
font-size: 8;
swt-simple: false;
swt-mru-visible: false;
}
You can lookup the CSS style files in eclipse/plugins/org.eclipse.platform_4.2.X.vY/css edit your current style (probably e4_default_win7.css).
Add something like this:
#org-eclipse-ui-jdt-PackageExplorer {
font-size: 20pt;
}
and hope you have a nice and large font (I did not check it myself).
Pro tip: Next time you need to find the CSS Id for a part of the UI, use CSS Spy which you can open with SHIFT-ALT-F5 (after you have installed it).
This worked for me using version 2019-09 on Windows 10:
Locate the directory C:\Users\johndoe\.p2\pool\plugins in File Explorer, replacing "johndoe" with your own Windows user ID.
Depending on what you have done in the past with Eclipse, you should see one or more directories with names that start with org.eclipse.ui.themes.
Select the one with the most recent date modified. In my case its name was org.eclipse.ui.themes_1.2.700.v20190826-0816.
Within that directory open the directory named css.
Open the file named e4_default_win.css in a text editor, and append something similar to the following at the end of the file:
Tree {
font-size: 24px;
font: Mistral; }
Don't pick those specific values! You should pick the font and font size you want. I deliberately made poor choices only to make the effect of those settings obvious in the screen shot below.
Save the file and restart Eclipse. You should see that the font has been changed in the Project Explorer and Package Explorer views, and a lot of other places as well:
Just be clear, the name of the file I edited was C:\Users\johndoe\.p2\pool\plugins\org.eclipse.ui.themes_1.2.700.v20190826-0816\css\e4_default_win.css. The name of the file you edit won't be exactly that, but it should be similar.
On Ubuntu 14.04 (Trusty Tahr) this was the best choice for me:
.MPart Tree{
font-size: 10;
}
In my case I'm using DevStyle plugin with Spring Tool Suite 4.
The font size of project explorer can be changed going to Eclipse menu bar:
Window
Preferences
DevStyle
Extras
Explorer font size
This setting is saved into workspace folder:
\workspace\.metadata\.plugins\com.genuitec.eclipse.ui.common.platform\extra-styling.css
I tried edit directly in file but when open Eclipse the file was overwritten
Using STS 4.8.0.RELEASE based on Eclipse 2020-09 (requires a JDK11)
Finally, from Eclipse 2020-09 (4.17) there is an option "Tree and Table font view" in Window -> Preferences -> General -> Appearance -> Colors and Fonts which changes size of the font in Package Explorer, among others.
If it helps you to spot the setting easier , this is a screenshot how to change the font elsewhere than the font from the editor window
Eclipse is using native Windows widgets and their settings can only be changed from Display Properties / Settings / Advanced / General properties tab. There you can change your screen DPI to alter font sizes.
In Eclipse 4.7.x the CSS files are under eclipse/plugins/org.eclipse.ui.themes_1.2.1.v20170809-1435/css/
In my case I use the dark theme for OSX, so I opened the file e4-dark_mac.css and added the font-size line:
CTabFolder Tree, CTabFolder Canvas {
background-color: #2F2F2F;
color: #CCC;
font-size: 13pt; // new
}
Thanks to Veger's reply, I successfully changed the font of my PHP Explorer in PHP Perspective (with PDT installed). The following CSS code,
#org-eclipse-php-ui-explorer Tree {
font-family: Consolas;
font-size: 21px;
}
are added into my "eclipse-4.3\plugins\org.eclipse.platform_4.3.1.v20130911-1000\css\e4_default_win7.css" file.
You may choose a different CSS file, depending on the theme you choose through Preferences → General → Appearance: "Theme" drop-down list).
I have an application made in struts 1.2 and it will be accessed by Desktop browser as well as Android browser. The layout of the DEsktop browser is fine but having problems with the layout in Android browser. Somehow I managed to do the UI look and feel changes but stuck with the button font.
Below is the code I wrote for the button:
<html:submit property="action" value="Login" style="width: 150px;height: 80px;"></html:submit>
The button appearence is fine but the font of the button i.e. Login is very small. I tried adding the font: 100px; in the style attribute but it did not worked.
Any suggestions on how to increase the font size of the submit button text?
Please let me know about this.
Regards,
The font property value must be either a single keyword indicating a system font or contain at least font size and font family, as in font: 100% Calibri. If you wish to set the font size only, do not use the font shorthand but the specific property font-size, e.g. font-size: 30px.
font css attribute isn't what you want.. Use font-size: 100px instead.
In fact with font you can specify multiple font related attributes. Documentation