CodeLobster IDE

Free cross-platform PHP IDE (HTML, PHP, CSS, JavaScript, Python code editor) with support Drupal, Joomla, Twig, JQuery, BackboneJS, LaravelJS, Node.js, CodeIgniter, CakePHP, Laravel, Magento, MeteorJS, Phalcon, Symfony, VueJS, WordPress, Yii
It is currently Thu Mar 28, 2024 8:17 pm

All times are UTC




Post new topic Reply to topic  [ 4 posts ] 
Author Message
 Post subject: Smaller fonts in the Explorer window
PostPosted: Wed Dec 04, 2019 8:59 pm 
Offline

Joined: Wed Dec 04, 2019 8:42 pm
Posts: 11
The font size used in the Explorer window is quite big, in my opinion. If you set the font size a little bit smaller (or make it adjustable though an option), it would make it a bit easier to navigate (less scrolling) when you connect to a FTP server with a lot of files.


Top
 Profile  
 
 Post subject: Re: Smaller fonts in the Explorer window
PostPosted: Thu Dec 05, 2019 4:21 pm 
Offline
Site Admin

Joined: Wed Sep 12, 2007 2:18 pm
Posts: 3931
Hi, Joamlin.

If You use CodeLobster IDE than You can set any size/color etc. for any elements in corresponded .qss file.

Regards,
Codelobster Team.


Top
 Profile  
 
 Post subject: Re: Smaller fonts in the Explorer window
PostPosted: Fri Dec 06, 2019 9:46 am 
Offline

Joined: Wed Dec 04, 2019 8:42 pm
Posts: 11
Awesome, missed that, thanks!


Top
 Profile  
 
 Post subject: Re: Smaller fonts in the Explorer window
PostPosted: Mon Feb 24, 2020 9:14 am 
Offline

Joined: Fri Oct 12, 2018 8:08 am
Posts: 3
The font size used in the Explorer window is quite big


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 4 posts ] 

All times are UTC


Who is online

Users browsing this forum: No registered users and 16 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
cron
Powered by phpBB © 2016 phpBB Group