Starting ruboto-irb gives only the main window of the picture shown at https://github.com/ruboto/ruboto-irb/#screenshot.
The tabs IRB, Editor, Scripts are hidden.
Ruboto IRB is version 0.7
Ruboto Core is version 0.4.7
The phone has been updated to 4.0.3 using Samsung's OTA upgrades.
I found the most classic of the workarounds: uninstall Rubuto Irb and Ruboto Core, reinstall them. The tabs show up now.
The installer should warn about this problem or (better) prevent it. We're developers but some of us don't have the time, the patience or the luck to find the solution.
My guess is that you had previously selected the menu item that maximizes the screen real estate. Since 4.0 tucks the menu away, so we need another solution. You could have also cleared it by going into settings and clearing the app data. You accomplished that through the uninstall and reinstall. It's definitely a bug we need to clear. Thanks!
Maybe you're right. Now that you hinted me I looked into the menu and found Toggle Usable Screen. It hides the tabs and it also shows a dialog "Title Visibility Change" "Reorient the screen for this to take effect [OK]", but the tabs are already gone. Toggling the usable screen again make the tabs appear.
I don't know if I inadvertently used that menu and what its purpose is but reorienting the screen doesn't have any effect on my phone. So this might not be the bug I thought I found but it's some sort of bug anyway, maybe just a dialog we don't need anymore on ICS.
Under 2.3 and below, that menu item did two things: hide the tabs and hide the title bar. The title bar would not actually disappear until you reoriented the screen (or restarted the activity). The 3.0/4.0 Action Bar behaves differently. Yes, that dialog can go.
The real bug is on devices without a menu button (Galaxy Nexus and all tablets). Then there is no way to undo that change without clearing the app data.
Ok, I think we nailed it. Should I close this issue and open two new ones with a more sensible name and description (maybe "Unnecessary dialog for Toggle Usable Screen on Android 3.0/4.0" and "Impossible to toggle back Usable Screen on devices without a menu button") or should I leave it open?
Yes, please...having two specific ones would be great!
Done, they are #15 and #16. I'm closing this one and thank you for the quick feedback!