mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-07 02:51:38 +02:00
More safety against deleting view in view widget
This commit is contained in:
@@ -2661,6 +2661,14 @@ public:
|
||||
*/
|
||||
void unregister_plugin (lay::Plugin *pi);
|
||||
|
||||
/**
|
||||
* @brief Gets the options the view was created with
|
||||
*/
|
||||
unsigned int options () const
|
||||
{
|
||||
return m_options;
|
||||
}
|
||||
|
||||
private:
|
||||
// event handlers used to connect to the layout object's events
|
||||
void signal_hier_changed ();
|
||||
@@ -2828,11 +2836,6 @@ private:
|
||||
void merge_dither_pattern (lay::LayerPropertiesList &props);
|
||||
|
||||
protected:
|
||||
unsigned int options () const
|
||||
{
|
||||
return m_options;
|
||||
}
|
||||
|
||||
lay::Plugin *active_plugin () const
|
||||
{
|
||||
return mp_active_plugin;
|
||||
|
||||
@@ -785,6 +785,14 @@ public:
|
||||
return mp_plugin_declaration;
|
||||
}
|
||||
|
||||
/**
|
||||
* @brief Gets the plugin parent
|
||||
*/
|
||||
Plugin *plugin_parent ()
|
||||
{
|
||||
return mp_parent;
|
||||
}
|
||||
|
||||
/**
|
||||
* @brief Associate a service with the plugin declaration for that service (setter)
|
||||
*
|
||||
|
||||
Reference in New Issue
Block a user