/jEdit/tags/jedit-4-3-1/jars/MacOSX/docs/MacOSX.html

# · HTML · 41 lines · 40 code · 1 blank · 0 comment · 0 complexity · 172dc2ca303ec31a1da5d3ad988cb1bc MD5 · raw file 

    

  1. <html>
    2. 

  2. <head>
    3. 

  3. <title>Mac OS X Plugin</title>
    4. 

  4. </head>
    5. 

  5. 

  6. <body bgcolor="#FFFFFF">
    7. 

  7. <table
    8. 

  8.     summary="Header"
    9. 

  9.     bgcolor="#99CCCC"
    10. 

  10.     cellspacing="0"
    11. 

  11.     border="0"
    12. 

  12.     width="100%"
    13. 

  13.     cols="2"
    14. 

  14. >
    15. 

  15.   <tr width="100%"> 
    16. 

  16.     <td valign="TOP"><strong><font size="+2">Mac OS X Plugin</font></strong></td>
    17. 

  17.     <td valign="TOP" align="RIGHT"><font size="-1"> <strong>Version 1.0 (Sep. 
    18. 

  18.       1, 2008)</strong> <br>
    19. 

  19.       By Seph M. Soliman &lt;scarlac@users.sourceforge.net&gt; </font></td>
    20. 

  20.   </tr>
    21. 

  21. </table>
    22. 

  22. <h3>Provides Mac OS X specific features, such as:</h3>
    23. 

  23. <ul>
    24. 

  24.   <li>jEdit exits cleanly when using Command-Q or &quot;Quit&quot; from the &quot;File&quot; 
    25. 

  25.     menu.</li>
    26. 

  26.   <li>Files created or associated with jEdit can now be opened from the Finder, 
    27. 

  27.     by either double-clicking the file's icon or dragging the file's icon onto 
    28. 

  28.     the jEdit application icon.</li>
    29. 

  29.   <li>"Preferences..." in the application menu can be used to access jEdit's Global 
    30. 

  30.     Options.</li>
    31. 

  31.   <li>"About jEdit..." in the application menu can be used to access the About 
    32. 

  32.     Dialog.</li>
    33. 

  33.   <li>You can show the current in the finder by CMD+Clicking in the titlebar.</li>
    34. 

  34. </ul>
    35. 

  35. <h3>Supported Java version:</h3>
    36. 

  36. <ul>
    37. 

  37.   <li>You will need at least Java 1.5. Switching to Java 1.6 is strongly recommeded.</li>
    38. 

  38. </ul>
    39. 

  39. <p>&nbsp;</p>
    40. 

  40. </body>
    41. 

  41. </html>
    42.