changeset 1718 | aedf32fc1715 |
parent 1716 | 5ae373f6fef0 |
child 1719 | 735984d47d9b |
1717:32ab910cb20c | 1718:aedf32fc1715 |
---|---|
2512 ^specClass printString, ' >> ', specSelector |
2512 ^specClass printString, ' >> ', specSelector |
2513 |
2513 |
2514 "Modified: / 20.6.1998 / 16:49:16 / cg" |
2514 "Modified: / 20.6.1998 / 16:49:16 / cg" |
2515 ! ! |
2515 ! ! |
2516 |
2516 |
2517 !UIPainter methodsFor:'menus - dynamic'! |
2517 !UIPainter methodsFor:'menus-dynamic'! |
2518 |
2518 |
2519 menuEdit |
2519 menuEdit |
2520 ^ [ |
2520 ^ [ |
2521 |m i| |
2521 |m i| |
2522 |
2522 |