I would suggest to simplify the loop range by replacing T'First .. T'Last
by T'Range. Thus, the codes become. They are a bit shorter :-)

   for i in Buttons'Range loop
      for n in Buttons (i)'Range loop
        -- ...

Anh Vo

On Sun, Nov 30, 2014 at 3:14 AM, Rabbi David Botton <[email protected]>
wrote:

> 1. I've made more changes to the boot files for increased stability and
> they now make use of boot.js. This should centralizes where the boot loader
> code is and should make it easier to create your own custom boot loaders.
> So make sure to copy both boot.html _and_ boot.js into your current
> projects.
>
> 2. I've added the ability to turn on Connection Buffering. For example the
> following code will now "snap" on to the browser with speed thanks to the
> buffering instead of slowly painting its way on.
>
>    Main_Window.Buffer_Connection (True);
>
>    for i in Buttons'First .. Buttons'Last loop
>       for n in Buttons (i)'First .. Buttons (i)'Last loop
>          Buttons (i) (n).Create (Grid_Box, "1");
>          Buttons (i) (n).Font (Family => "monospace", Height => "11px");
>          Buttons (i) (n).Background_Color ("lightgray");
>          Buttons (i) (n).Vertical_Align (Middle);
>          Buttons (i) (n).Minimum_Width (25);
>          Buttons (i) (n).Maximum_Width (25);
>          Buttons (i) (n).Minimum_Height (25);
>          Buttons (i) (n).Maximum_Height (25);
>          Buttons (i) (n).Text_Alignment (Center);
>          Buttons (i) (n).Overflow (Hidden);
>          Buttons (i) (n).Margin ("1px", "1px", "1px", "1px");
>       end loop;
>       Grid_Box.New_Line;
>    end loop;
>
>    Main_Window.Buffer_Connection (False);
>
> Buffering can be turned on and left on for most applications unless you
> are going to be updating your GUI with tasks. In those cases either turn
> off the buffering or make sure that you run Object.Flush_Buffer with in the
> task.
>
> The buffer is flushed:
>
> 1. At the end of On_Connect
> 2. After any incoming event has  been handled
> 3. Before retrieving any property of an element from the browser.
> 4. Any time Flush_Buffer is called (it can be called on any object to
> flush the entire connection).
>
> Buffering is turned off by default (perhaps that will change in the
> future, but so far I am leaning to not do so). To turn on buffering just
> call using any object on a connection Object.Buffer_Connection
>
> David Botton
>
>
>
------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________
Gnoga-list mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gnoga-list

Reply via email to