samples/extensionpoint/src-api/org/apidesign/extensionpoint/Main.java
changeset 132 3bc4c54f4bcc
parent 86 adf4440db888
child 153 b5cbb797ec0a
     1.1 --- a/samples/extensionpoint/src-api/org/apidesign/extensionpoint/Main.java	Sat Jun 14 09:53:48 2008 +0200
     1.2 +++ b/samples/extensionpoint/src-api/org/apidesign/extensionpoint/Main.java	Sat Jun 14 09:56:12 2008 +0200
     1.3 @@ -12,7 +12,8 @@
     1.4      public static void main(String[] args) {
     1.5          for (;;) {
     1.6              // BEGIN: extension.point.Query
     1.7 -            Collection<? extends TipOfTheDay> all = Lookup.getDefault().lookupAll(TipOfTheDay.class);
     1.8 +            Collection<? extends TipOfTheDay> all = 
     1.9 +                Lookup.getDefault().lookupAll(TipOfTheDay.class);
    1.10              List<TipOfTheDay> arr = new ArrayList<TipOfTheDay>(all);
    1.11              Collections.shuffle(arr);
    1.12  
    1.13 @@ -33,7 +34,9 @@
    1.14              String again = "Once Again";
    1.15              String exit = "Exit";
    1.16              String[] options = new String[] { again, exit };
    1.17 -            int ret = JOptionPane.showOptionDialog(null, msg, title, 0, type, null, options, exit);
    1.18 +            int ret = JOptionPane.showOptionDialog(
    1.19 +                null, msg, title, 0, type, null, options, exit
    1.20 +            );
    1.21  
    1.22              if (ret != 0) {
    1.23                  break;