Message187622
I didn't restore the menu in the shell window because it would be empty then. Perhaps a better alternative is to automatically remove any empty menu. That way if someone inserted a new option in the menu in the future it would show automatically in the MacOS version. |
|
Date |
User |
Action |
Args |
2013-04-23 09:12:46 | Guilherme.Simões | set | recipients:
+ Guilherme.Simões, ronaldoussoren, ned.deily, roger.serwy, Todd.Rovito |
2013-04-23 09:12:46 | Guilherme.Simões | set | messageid: <1366708366.91.0.433610889174.issue17532@psf.upfronthosting.co.za> |
2013-04-23 09:12:46 | Guilherme.Simões | link | issue17532 messages |
2013-04-23 09:12:46 | Guilherme.Simões | create | |
|