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
About increasing font size and firefox addon
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
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
Re: About increasing font size and firefox addon
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
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
Re: About increasing font size and firefox addon
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 wrote: 1) How to increase the font size on Debian top bar
Re: About increasing font size and firefox addon
Hi,TonyT wrote:re firefox:
Rt click next to new tab > put checkmark next to Menu bar.
Please advise which "new tab" you referred to on Debian screen?
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.Tools Menu > Add-ons > dropdown next to search box > install addon from file or on left Get Addons
Sorry I couldn't upload the screenshot here. Warning: Server Internal Error.
Regards
satimis
Re: About increasing font size and firefox addon
Hi,bryanmc wrote: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 wrote: 1) How to increase the font size on Debian top bar
Right click on the top menu bar no response. Still I couldn't upload the screenshot. Server Error
satimis
Re: About increasing font size and firefox addon
What are you calling the "top menu bar"? Are you referring to the window button bar or the panel for your wm / de?satimis wrote:Right click on the top menu bar no response. Still I couldn't upload the screenshot. Server Error
Re: About increasing font size and firefox addon
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.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?
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.
Re: About increasing font size and firefox addon
I'll ask one more time what window manager or desktop environment you're using....
If you don't know run....
If you don't know run....
Code: Select all
inxi -F
Re: About increasing font size and firefox addon
Gnome desktopbryanmc 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
$ 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
satimis
Re: About increasing font size and firefox addon
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.
Re: About increasing font size and firefox addon
What I said refers to Firefox and your question: 2) How to add add-on on Firefoxsatimis 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?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.Tools Menu > Add-ons > dropdown next to search box > install addon from file or on left Get Addons
Regards
satimis
Re: About increasing font size and firefox addon
Hi,TonyT wrote: What I said refers to Firefox and your question: 2) How to add add-on on Firefox
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
Re: About increasing font size and firefox addon
You're welcome.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
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
Re: About increasing font size and firefox addon
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...).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
Re: About increasing font size and firefox addon
Hi all,
gnome-tweak-tool already installed
$ apt-cache policy gnome-tweak-tool
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
Ubuntu 14.04 desktop
⟫ ls /usr/bin/*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
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
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
⟫ 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
Re: About increasing font size and firefox addon
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").
Re: About increasing font size and firefox addon
The top menu bar of Debian screen.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").
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
Re: About increasing font size and firefox addon
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.
Re: About increasing font size and firefox addon
Hi,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.
Your advice works for me. Thanks.
I still can't resolve why some elements on Settings -> Display disappear?
Regards
satimis