406 reputation
2716
bio website
location Seattle, WA
age 54
visits member for 1 year, 11 months
seen Feb 21 at 4:25

Jul
9
asked ubuntu box just redisplaying login screen after update
Jul
9
comment Why do I get updates but cannot start Update Manager any more?
Curiously, it does absolutely nothing. No window, no error, just gives me the shell prompt back.
Jul
6
asked Why do I get updates but cannot start Update Manager any more?
Jun
29
answered How to change eclipse font sizes
Jun
28
comment How to change eclipse font sizes
That's the idea, yes.
Jun
28
comment How to change eclipse font sizes
Ok, you're right, that changes the editor view. However, I appear to be unable to change the font size for the other views.
Jun
28
comment How to change eclipse font sizes
When I said "Obviously, changing it in Eclipse preferences doesn't do it", that means I already tried that.
Jun
27
asked How to change eclipse font sizes
Jun
7
awarded  Popular Question
Jun
1
accepted How do I open archive files from the command line?
Jun
1
asked How do I open archive files from the command line?
Jun
1
answered Ubuntu scrollbars don't render on Cygwin X server
May
31
asked Ubuntu scrollbars don't render on Cygwin X server
May
29
awarded  Teacher
May
29
comment starting android avd fails, saying it can't find emulator, but it exists
This was the issue that led me to the solution. I never looked at the installation instructions for the SDK. I had installed it on Windows (32-bit) before, and didn't realize it required an extra step for 64-bit Ubuntu. It required installing the ia32-libs package.
May
29
accepted starting android avd fails, saying it can't find emulator, but it exists
May
29
awarded  Editor
May
29
revised starting android avd fails, saying it can't find emulator, but it exists
Added "file" output to show 64 vs. 32 disparity.
May
28
asked starting android avd fails, saying it can't find emulator, but it exists
May
25
answered Why can't I set the correct icon for my launcher?