Scheduled Maintenance: We are aware of an issue with Google, AOL, and Yahoo services as email providers which are blocking new registrations. We are trying to fix the issue and we have several internal and external support tickets in process to resolve the issue. Please see: viewtopic.php?t=158230

 

 

 

About increasing font size and firefox addon

If none of the specific sub-forums seem right for your thread, ask here.
Post Reply
Message
Author
satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

About increasing font size and firefox addon

#1 Post by satimis »

Hi all,

I have been googling around and couldn't sort out:

1) How to increase the font size on Debian top bar
2) How to add add-on on Firefox

Please help.

Thanks

Regards
satimis

TonyT
Posts: 575
Joined: 2006-09-04 11:57

Re: About increasing font size and firefox addon

#2 Post by TonyT »

re firefox:

Rt click next to new tab > put checkmark next to Menu bar.
Tools Menu > Add-ons > dropdown next to search box > install addon from file or on left Get Addons

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#3 Post by bryanmc »

satimis wrote: 1) How to increase the font size on Debian top bar
If you are asking about the panel, it will be in the panel settings. Where those are are will depend on what DE or WM you're using (but you might start looking by right clicking on the panel).

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#4 Post by satimis »

TonyT wrote:re firefox:
Rt click next to new tab > put checkmark next to Menu bar.
Hi,

Please advise which "new tab" you referred to on Debian screen?
Tools Menu > Add-ons > dropdown next to search box > install addon from file or on left Get Addons
I have to check "Menu Bar" (right click on top menu bar) before I can see "Tools" drop-menu". But I couldn't find "Theme Font & Size Changer" under it.

Sorry I couldn't upload the screenshot here. Warning: Server Internal Error.

Regards
satimis

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#5 Post by satimis »

bryanmc wrote:
satimis wrote: 1) How to increase the font size on Debian top bar
If you are asking about the panel, it will be in the panel settings. Where those are are will depend on what DE or WM you're using (but you might start looking by right clicking on the panel).
Hi,

Right click on the top menu bar no response. Still I couldn't upload the screenshot. Server Error

satimis

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#6 Post by bryanmc »

satimis wrote:Right click on the top menu bar no response. Still I couldn't upload the screenshot. Server Error
What are you calling the "top menu bar"? Are you referring to the window button bar or the panel for your wm / de?

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#7 Post by satimis »

bryanmc wrote: What are you calling the "top menu bar"? Are you referring to the window button bar or the panel for your wm / de?
I meant the top menu bar of Debian. It shows Activities on the left corner and 3 icons on the right corner for Sound, Turnoff/Reboot Debian and date in the middle etc.

Still I couldn't upload the screenshot here.

Warning

Code: Select all

Internal Server Error

The server encountered an internal error or misconfiguration and was unable to complete your request.

Please contact the server administrator, forum-admin@forums.debian.net and inform them of the time the error occurred, and anything you might have done that may have caused the error.
satimis

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#8 Post by bryanmc »

I'll ask one more time what window manager or desktop environment you're using....

If you don't know run....

Code: Select all

inxi -F

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#9 Post by satimis »

bryanmc wrote:I'll ask one more time what window manager or desktop environment you're using....

If you don't know run....

Code: Select all

inxi -F
Gnome desktop

$ inxi -F

Code: Select all

                                                 
System:    Host: debian910pc1 Kernel: 4.9.0-3-amd64 x86_64 (64 bit)
           Desktop: Gnome 3.22.3 Distro: Debian GNU/Linux 9 (stretch)
Machine:   Device: oracle System: innotek product: VirtualBox v: 1.2
           Mobo: Oracle model: VirtualBox v: 1.2
           BIOS: innotek v: VirtualBox date: 12/01/2006
CPU:       Dual core AMD FX-8320 Eight-Core (-MCP-) cache: 4096 KB 
           clock speeds: max: 3511 MHz 1: 3511 MHz 2: 3511 MHz
Graphics:  Card: InnoTek Systemberatung VirtualBox Graphics Adapter
           Display Server: X.Org 1.19.2 drivers: fbdev (unloaded: modesetting,vesa)
           Resolution: 1704x845@59.98hz
           GLX Renderer: Chromium GLX Version: 2.1 Chromium 1.9
Audio:     Card Intel 82801AA AC'97 Audio Controller driver: snd_intel8x0
           Sound: Advanced Linux Sound Architecture v: k4.9.0-3-amd64
Network:   Card: Intel 82540EM Gigabit Ethernet Controller driver: e1000
           IF: enp0s3 state: up speed: 1000 Mbps duplex: full
           mac: 08:00:27:08:b0:c7
Drives:    HDD Total Size: 21.5GB (45.5% used)
           ID-1: /dev/sda model: VBOX_HARDDISK size: 21.5GB
Partition: ID-1: / size: 18G used: 7.2G (44%) fs: ext4 dev: /dev/dm-0
           ID-2: /boot size: 236M used: 37M (17%) fs: ext2 dev: /dev/sda1
           ID-3: swap-1 size: 2.15GB used: 0.00GB (0%) fs: swap dev: /dev/dm-1
Sensors:   None detected - is lm-sensors installed and configured?
Info:      Processes: 169 Uptime: 2 min Memory: 552.3/2004.4MB
           Client: Shell (bash) inxi: 2.3.5 
Regards
satimis

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#10 Post by bryanmc »

I'm not terribly familiar with the gnome de, but I think you will need to install the gnome-tweak-tool to change the panel settings. Maybe someone who uses gnome can chime in.

TonyT
Posts: 575
Joined: 2006-09-04 11:57

Re: About increasing font size and firefox addon

#11 Post by TonyT »

satimis wrote:
TonyT wrote:re firefox:
Rt click next to new tab > put checkmark next to Menu bar.

Hi,
Please advise which "new tab" you referred to on Debian screen?
Tools Menu > Add-ons > dropdown next to search box > install addon from file or on left Get Addons
I have to check "Menu Bar" (right click on top menu bar) before I can see "Tools" drop-menu". But I couldn't find "Theme Font & Size Changer" under it.

Regards
satimis
What I said refers to Firefox and your question: 2) How to add add-on on Firefox

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#12 Post by satimis »

TonyT wrote: What I said refers to Firefox and your question: 2) How to add add-on on Firefox
Hi,

Problem solved after installing the addon "Theme Font & Size Changers". Now I can increase the font size of Firefox

Thanks

The remaining problem is to increase the font size on the top menu bar of Debian 9.1.0

Regards
satimis

TonyT
Posts: 575
Joined: 2006-09-04 11:57

Re: About increasing font size and firefox addon

#13 Post by TonyT »

Hi,
Problem solved after installing the addon "Theme Font & Size Changers". Now I can increase the font size of Firefox
Thanks
The remaining problem is to increase the font size on the top menu bar of Debian 9.1.0
You're welcome.
Now, font style and size is changed from the Control Center for your desktop environment. We don't know which one you are using. You mostlt likely using one of these:
Gnome > sudo apt-get install gnome-tweak-tool > use tweak tool to change fonts
KDE - search google
XFCE - https://docs.xfce.org/xfce/xfce4-settings/appearance
MATE - menu > system > preferences > look & feel > appearance

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#14 Post by bryanmc »

TonyT wrote: Now, font style and size is changed from the Control Center for your desktop environment. We don't know which one you are using. You most likely using one of these:
Gnome > sudo apt-get install gnome-tweak-tool > use tweak tool to change fonts
I had him run inxi and it revealed he's running gnome. I suggested gnome-tweak-tool a couple posts back, but evidently he didn't read it (and everything he's asking is easily found in a search...).

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#15 Post by satimis »

Hi all,

gnome-tweak-tool already installed

$ apt-cache policy gnome-tweak-tool

Code: Select all

gnome-tweak-tool:
  Installed: 3.22.0-1
  Candidate: 3.22.0-1
  Version table:
 *** 3.22.0-1 500
        500 http://ftp.cn.debian.org/debian stretch/main amd64 Packages
        500 http://deb.debian.org/debian stretch/main amd64 Packages
        100 /var/lib/dpkg/status
I have another pc, say pc2, also running VirtualBox. Debian 9.1.0 with gnome desktop is running there, having the same problem. I don't know whether this problem comes from Debian 9.1.0 or from the Guest-Addition of VirtualBox. Both Debian VMs were installed on debian-live-9.1.0-amd64-gnome.iso

Several Ubuntu 14.04 and Ubuntu16.04 VMs are running on both PCs but without problem. They are running gnome;

Ubuntu 16.04 desktop
⟫ ls /usr/bin/*session

Code: Select all

/usr/bin/byobu-select-session  /usr/bin/gnome-session
/usr/bin/dbus-run-session
Ubuntu 14.04 desktop
⟫ ls /usr/bin/*session

Code: Select all

/usr/bin/byobu-select-session  /usr/bin/gnome-session
/usr/bin/dbus-run-session

I have following 3 files upload to dropbox.com
screenshot_debian9.1.0.png
screenshot_debian_display.png
screenshot_ubuntu_display.png

Their links are here;
screenshot_debian9.1.0.png
https://www.dropbox.com/s/r13c7rfab0w43 ... 0.png?dl=0

screenshot_debian_display.png
https://www.dropbox.com/s/sno2sf08jn37s ... y.png?dl=0

screenshot_ubuntu_display.png
https://www.dropbox.com/s/6ndzu41199zfg ... y.png?dl=0

You can check them. Thanks

Regards
satimis

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#16 Post by bryanmc »

I loaded stretch with gnome into a vm. After looking around I found that changing the scaling factor in the font section of the tweak tool increases the size of the panel (what you call the "top bar").

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#17 Post by satimis »

bryanmc wrote:I loaded stretch with gnome into a vm. After looking around I found that changing the scaling factor in the font section of the tweak tool increases the size of the panel (what you call the "top bar").
The top menu bar of Debian screen.

At the left corner - Activities
In the middle - Date
At the right corner - 3 small icons, clicking them all showing a) Loudspeaker b) Wired Unmanaged c) Username d) setting/lock/swich to turn off/reboot Debian

I have tried the setting there. Clicking "display" results as the photo upload to DropBox

Right click on the top menu bar no response.

Regards
satimis

bryanmc
Posts: 122
Joined: 2016-11-18 12:21
Has thanked: 2 times

Re: About increasing font size and firefox addon

#18 Post by bryanmc »

Yes, I understand the top menu bar of debian, it is called the panel. Follow these steps... Open the gnome tweak tool by clicking on activities, then click on utilities, then click on tweak tool, then click on fonts, then increase the scaling factor.

satimis
Posts: 536
Joined: 2004-09-11 11:50
Location: Hong Kong

Re: About increasing font size and firefox addon

#19 Post by satimis »

bryanmc wrote:Yes, I understand the top menu bar of debian, it is called the panel. Follow these steps... Open the gnome tweak tool by clicking on activities, then click on utilities, then click on tweak tool, then click on fonts, then increase the scaling factor.
Hi,

Your advice works for me. Thanks.

I still can't resolve why some elements on Settings -> Display disappear?

Regards
satimis

Post Reply