Re: Problem installing Adobe Flash Player
2009/2/27 (``-_-´´) -- BUGabundo > Olá Surfaz e a todos. That isn't Spanish.. xD > On Thursday 26 February 2009 16:35:40 Surfaz Gemon Meme wrote: > > sudo cp libflashplayer.so /usr/lib/firefox-addons/plugins/ > > Is it there or on: > /usr/lib/mozilla/plugins/ > /usr/lib/mozilla/plugins is a link to /usr/lib/firefox-addons/plugins/ -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
Re: Default font size in gnome
On 01/03/09 10:29, (``-_-´´) -- BUGabundo wrote: > no no... after i got HUGE fonts, i reset the DPI to 96 (looked > better) and then on certain apps, i just increase the font size > (like kmail or firefox). > Guess i'll have to reset my font size and just try to increase the > DPI to a nice value. DPI is a physical characteristic of your display device, not a user preference. It should always be set to the correct value, unless you're using a projector or something. We really need a way to specify the UI "scale" factor, something like defining the EM width in a browser, but for the entire OS. Ryan -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
Re: Default font size in gnome
Olá Chris e a todos. On Friday 27 February 2009 17:27:22 Chris Cheney wrote: > > Hi have a 13" at 1280x800 (DPI 112 according to xorg log) and I have to > > increase mine, but I dont see as good as I used to. > > It seems strange that you needed to increase the font size when your DPI > setting increased. Just changing the DPI from 96 to 112 should have made > your font increase ~ 17% in pixels for the same given font size. > > eg: > > 12/72 * 96 = 16.0 px > 12/72 * 112 = 18.7 px no no... after i got HUGE fonts, i reset the DPI to 96 (looked better) and then on certain apps, i just increase the font size (like kmail or firefox). Guess i'll have to reset my font size and just try to increase the DPI to a nice value. -- Hi, I'm BUGabundo, and I am Ubuntu (whyubuntu.com) (``-_-´´) http://LinuxNoDEI.BUGabundo.net Linux user #443786GPG key 1024D/A1784EBB signature.asc Description: This is a digitally signed message part. -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
Re: Default font size in gnome
Am 28.02.2009 um 22:08 schrieb Chris Cheney: > Also where is a 100x100 image not displayed as such? On a printer, for example. If application designers would map pictures to a printer the same way they currently map it to the screen, users would likely call them insane. Now try to imagine a screen with 1200 dpi ... > However, in cases where the image has DPI/size information a > publishing program should take that into account. Sure it should. The DPI of the image as well as the DPI of the displaying device. MarKus - - - - - - - - - - - - - - - - - - - Dipl. Ing. Markus Hitter http://www.jump-ing.de/ -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
Re: Default font size in gnome
Am 28.02.2009 um 19:52 schrieb Mackenzie Morgan: > On Saturday 28 February 2009 6:38:04 am Markus Hitter wrote: >> I can understand this is difficult to get swallowed. For 40 (or more) >> years now, the rule was 1 pixel = 1 dot on the screen. A picture, >> 100px x 100px in size used to use exactly 100 x 100 dots on screen. >> Now, this is no longer true. > > Wait...what? A pixel will no longer be 1 dot? From the applications's view: no. MarKus - - - - - - - - - - - - - - - - - - - Dipl. Ing. Markus Hitter http://www.jump-ing.de/ -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss