Sat, 09 Mar 2013 17:05:49 +0100
Extended the editor monospaced style to allow to set the weight, italic and underline properties.
(grafted from 4860fe0ed4a64fc4e367a5903a78d68ec19317fe)
<!DOCTYPE html> <html><head> <title>eric5.ViewManager.__init__</title> <meta charset="UTF-8"> <style> body { background: #EDECE6; margin: 0em 1em 10em 1em; color: black; } h1 { color: white; background: #85774A; } h2 { color: white; background: #85774A; } h3 { color: white; background: #9D936E; } h4 { color: white; background: #9D936E; } a { color: #BA6D36; } </style> </head> <body><a NAME="top" ID="top"></a> <h1>eric5.ViewManager.__init__</h1> <p> Package implementing the viewmanager of the eric5 IDE. </p><p> The viewmanager is responsible for the layout of the editor windows. This is the central part of the IDE. In additon to this, the viewmanager provides all editor related actions, menus and toolbars. </p><p> View managers are provided as plugins and loaded via the factory function. If the requested view manager type is not available, tabview will be used by default. </p> <h3>Global Attributes</h3> <table> <tr><td>None</td></tr> </table> <h3>Classes</h3> <table> <tr><td>None</td></tr> </table> <h3>Functions</h3> <table> <tr> <td><a href="#factory">factory</a></td> <td>Modul factory function to generate the right viewmanager type.</td> </tr> </table> <hr /><hr /> <a NAME="factory" ID="factory"></a> <h2>factory</h2> <b>factory</b>(<i>parent, ui, dbs, pluginManager</i>) <p> Modul factory function to generate the right viewmanager type. </p><p> The viewmanager is instantiated depending on the data set in the current preferences. </p><dl> <dt><i>parent</i></dt> <dd> parent widget (QWidget) </dd><dt><i>ui</i></dt> <dd> reference to the main UI object </dd><dt><i>dbs</i></dt> <dd> reference to the debug server object </dd><dt><i>pluginManager</i></dt> <dd> reference to the plugin manager object </dd> </dl><dl> <dt>Returns:</dt> <dd> the instantiated viewmanager </dd> </dl> <div align="right"><a href="#top">Up</a></div> <hr /> </body></html>