4252 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.setSplitOrientation?4(orientation) |
4252 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.setSplitOrientation?4(orientation) |
4253 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.showWindowMenu?4(windowMenu) |
4253 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.showWindowMenu?4(windowMenu) |
4254 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.syntaxerrorToggled?7 |
4254 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.syntaxerrorToggled?7 |
4255 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.tile?4() |
4255 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace.tile?4() |
4256 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace?1(parent) |
4256 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.Listspace?1(parent) |
4257 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.addWidget?4(editor) |
4257 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.addWidget?4(assembly) |
4258 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.currentWidget?4() |
4258 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.currentWidget?4() |
4259 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.firstEditor?4() |
4259 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.firstEditor?4() |
4260 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.hasEditor?4(editor) |
4260 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.hasEditor?4(editor) |
4261 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.nextTab?4() |
4261 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.nextTab?4() |
4262 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.prevTab?4() |
4262 eric5.Plugins.ViewManagerPlugins.Listspace.Listspace.StackedWidget.prevTab?4() |
4270 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.mousePressEvent?4(event) |
4270 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.mousePressEvent?4(event) |
4271 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.tabCopyRequested?7 |
4271 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.tabCopyRequested?7 |
4272 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.tabMoveRequested?7 |
4272 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.tabMoveRequested?7 |
4273 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.tabRelocateRequested?7 |
4273 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar.tabRelocateRequested?7 |
4274 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar?1(parent=None) |
4274 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabBar?1(parent=None) |
4275 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.addTab?4(editor, title) |
4275 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.addTab?4(assembly, title) |
4276 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.copyTab?4(sourceIndex, targetIndex) |
|
4277 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.copyTabOther?4(sourceId, sourceIndex, targetIndex) |
|
4278 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.currentWidget?4() |
4276 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.currentWidget?4() |
4279 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.hasEditor?4(editor) |
4277 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.hasEditor?4(editor) |
4280 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.hasEditors?4() |
4278 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.hasEditors?4() |
4281 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.indexOf?4(object) |
4279 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.indexOf?4(object) |
4282 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.insertWidget?4(index, editor, title) |
4280 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.insertWidget?4(index, assembly, title) |
4283 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.mouseDoubleClickEvent?4(event) |
4281 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.mouseDoubleClickEvent?4(event) |
4284 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.relocateTab?4(sourceId, sourceIndex, targetIndex) |
|
4285 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.removeWidget?4(object) |
4282 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.removeWidget?4(object) |
4286 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.setCurrentWidget?4(editor) |
4283 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.setCurrentWidget?4(editor) |
4287 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.showIndicator?4(on) |
4284 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget.showIndicator?4(on) |
4288 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget?1(vm) |
4285 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.TabWidget?1(vm) |
4289 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.Tabview._addView?5(win, fn=None, noName="") |
4286 eric5.Plugins.ViewManagerPlugins.Tabview.Tabview.Tabview._addView?5(win, fn=None, noName="") |