Running out of ideas, here. I have had a really strange situation - I can't really remember now, memory or a crash or something - nothing like you're getting - and I'd even rebuilt the machine (not because of that problem) and *still* got it. The someone said that certain combinations of Java and Eclipse just seem to do weird things. I changed the version of Java and never got the problem again.
If anything occurs to me I'll let you know, but I think that's probably it from me. Good luck! Ian http://examples.roughian.com 2008/10/28 sibiquin <[EMAIL PROTECTED]> > > I don't bite off any heads that are willing to help :-) > > I verified I am editing the right CSS file by changing the font-family > attribute and observing that the font used in the button does change. > I also verified that the same way with the HTML <style>. Only the > size never changes. I had another web developer (more experienced in > CSS/HTML than I) and he looked carefully at everything and could not > figure it out either. > > I did all the cleanup and created a new workspace... with the same > results. There is something about this machine and I cannot figure > out what it might be (for a while I though it was due to the fact I > was using the 'classic' Windows desktop theme instead of the more > common 'XP' look and feel - so I changed it, rebooted, and it did not > solve the problem). > > I wonder what the hosted environment is doing with fonts that is not > working and apparently silently failing (and, I presume, defaulting > back to the default font size). That browser is written in Java, > right? Is the source for the hosted environment available publicly? > Not that I really want to debug it, but I really would like to find > out what is going on... > > On Oct 28, 11:10 am, "Ian Bambury" <[EMAIL PROTECTED]> wrote: > > Don't bite my head off, but you *are* amending the right html file aren't > > you? It's personal experience talking here :-) > > > > It might also be worth (before the next suggestions) clearing out the IE > > cache, and deleting any /bin/ and /tomcat/ and /www/ directories in any > > other projects that might be getting picked up. Then highlighting the > > project and pressing F5, then going to Project | Clean... and cleaning > the > > lot > > > > Then I think I would probably install (i.e. extract) Eclipse to another > > location as well as where it is now, create a new workspace, and try > running > > a newly-created test project. > > > > If that doesn't work, it would seem to be something outside Eclipse/GWT. > > > > If it *does* work, then I'd just switch to the new copy of Eclipse. Out > of > > interest, I'd probably try the old (non-working) project in the new > Eclipse > > just to see what happens. > > > > Ian > > > > http://examples.roughian.com > > > > 2008/10/28 sibiquin <[EMAIL PROTECTED]> > > > > > > > > > I added the <style> tag you suggested to the <head> section of the > > > HTML. The font family displayed correctly, but the size has no > > > effect. > > > > > As another experiment I installed Eclipse and GWT 1.5.3 on another > > > machine and it works fine there - both machines are Windows XP Pro > > > SP2. I have no clue as to what might cause this -- I have seen no > > > font problems in any other applications on this system. > > > > > Any ideas? > > > > > On Oct 27, 5:26 pm, "Ian Bambury" <[EMAIL PROTECTED]> wrote: > > > > Well, there would seem to be 2 possibilities: > > > > 1) It's getting overridden > > > > > > 2) It's not getting picked up > > > > > > try putting this in your HTML > > > > > > <style> > > > > .gwt-Button > > > > { > > > > font-family: Courier New; > > > > font-size: 50pt !important; > > > > } > > > > </style> > > > > > > and see if the !important makes a difference > > > > > > Ian > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/Google-Web-Toolkit?hl=en -~----------~----~----~----~------~----~------~--~---
