Am Sat, 20 Sep 2014 16:01:56 +0200 schrieb Jon Harper <[email protected]>:
> Looking at scrollers.factor, it looks like this was intended.. > Factor's GUI was developed mainly for the factor tools (listener, > help browser etc.) so the features they don't use might not > implemented. > > But you can kind of get it working with the following patch (creating > the headers gadget yourself and put it in a <pack>): > http://paste.factorcode.org/paste?id=3356 > > Cheers, > Jon > Thank you. It works. Georg ------------------------------------------------------------------------------ Slashdot TV. Video for Nerds. Stuff that Matters. http://pubads.g.doubleclick.net/gampad/clk?id=160591471&iu=/4140/ostg.clktrk _______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
