← Back to team overview

kicad-developers team mailing list archive

Re: [PATCH] Allow hierarchy navigator to stay open

 

As discussed on the forum, it can be handy to let the navigator open
while working on a project.
I don't know if I choose the best place to add the new checkbox.

Franck.

Le jeu. 24 oct. 2019 à 19:25, <franck.jullien@xxxxxxxxx> a écrit :
>
> From: Franck Jullien <franck.jullien@xxxxxxxxxxxxxxxxxxx>
>
> Signed-off-by: Franck Jullien <franck.jullien@xxxxxxxxx>
> ---
>  eeschema/dialogs/panel_eeschema_settings.cpp  |   6 +-
>  .../dialogs/panel_eeschema_settings_base.cpp  |   6 +-
>  .../dialogs/panel_eeschema_settings_base.fbp  | 575 +++---------------
>  .../dialogs/panel_eeschema_settings_base.h    |   5 +-
>  eeschema/eeschema_config.cpp                  |   9 +-
>  eeschema/hierarch.cpp                         |   6 +-
>  eeschema/sch_edit_frame.h                     |   4 +
>  7 files changed, 104 insertions(+), 507 deletions(-)
>
> diff --git a/eeschema/dialogs/panel_eeschema_settings.cpp b/eeschema/dialogs/panel_eeschema_settings.cpp
> index d50b8a373..bf6788b07 100644
> --- a/eeschema/dialogs/panel_eeschema_settings.cpp
> +++ b/eeschema/dialogs/panel_eeschema_settings.cpp
> @@ -46,7 +46,8 @@ bool PANEL_EESCHEMA_SETTINGS::TransferDataToWindow()
>
>      m_checkHVOrientation->SetValue( m_frame->GetForceHVLines() );
>      m_footprintPreview->SetValue( m_frame->GetShowFootprintPreviews() );
> -
> +    m_navigatorStaysOpen->SetValue( m_frame->GetNavigatorStaysOpen() );
> +
>      m_checkAutoplaceFields->SetValue( m_frame->GetAutoplaceFields() );
>      m_checkAutoplaceJustify->SetValue( m_frame->GetAutoplaceJustify() );
>      m_checkAutoplaceAlign->SetValue( m_frame->GetAutoplaceAlign() );
> @@ -75,7 +76,8 @@ bool PANEL_EESCHEMA_SETTINGS::TransferDataFromWindow()
>
>      m_frame->SetForceHVLines( m_checkHVOrientation->GetValue() );
>      m_frame->SetShowFootprintPreviews( m_footprintPreview->GetValue() );
> -
> +    m_frame->SetNavigatorStaysOpen( m_navigatorStaysOpen->GetValue() );
> +
>      m_frame->SetAutoplaceFields( m_checkAutoplaceFields->GetValue() );
>      m_frame->SetAutoplaceJustify( m_checkAutoplaceJustify->GetValue() );
>      m_frame->SetAutoplaceAlign( m_checkAutoplaceAlign->GetValue() );
> diff --git a/eeschema/dialogs/panel_eeschema_settings_base.cpp b/eeschema/dialogs/panel_eeschema_settings_base.cpp
> index 84c6470b1..ea5656291 100644
> --- a/eeschema/dialogs/panel_eeschema_settings_base.cpp
> +++ b/eeschema/dialogs/panel_eeschema_settings_base.cpp
> @@ -1,5 +1,5 @@
>  ///////////////////////////////////////////////////////////////////////////
> -// C++ code generated with wxFormBuilder (version Dec 30 2017)
> +// C++ code generated with wxFormBuilder (version Oct 24 2019)
>  // http://www.wxformbuilder.org/
>  //
>  // PLEASE DO *NOT* EDIT THIS FILE!
> @@ -123,7 +123,9 @@ PANEL_EESCHEMA_SETTINGS_BASE::PANEL_EESCHEMA_SETTINGS_BASE( wxWindow* parent, wx
>
>         m_footprintPreview = new wxCheckBox( this, wxID_ANY, _("Show footprint previews in symbol chooser"), wxDefaultPosition, wxDefaultSize, 0 );
>         bSizer9->Add( m_footprintPreview, 0, wxBOTTOM|wxLEFT|wxRIGHT, 5 );
> -
> +
> +       m_navigatorStaysOpen = new wxCheckBox( this, wxID_ANY, _("Allow hierarchy navigator to stay open"), wxDefaultPosition, wxDefaultSize, 0 );
> +       bSizer9->Add( m_navigatorStaysOpen, 0, wxALL, 5 );
>
>         bLeftColumn->Add( bSizer9, 0, wxTOP|wxBOTTOM|wxRIGHT, 5 );
>
> diff --git a/eeschema/dialogs/panel_eeschema_settings_base.fbp b/eeschema/dialogs/panel_eeschema_settings_base.fbp
> index 6bc9b6da1..6bbd79fec 100644
> --- a/eeschema/dialogs/panel_eeschema_settings_base.fbp
> +++ b/eeschema/dialogs/panel_eeschema_settings_base.fbp
> @@ -1,6 +1,6 @@
>  <?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
>  <wxFormBuilder_Project>
> -    <FileVersion major="1" minor="13" />
> +    <FileVersion major="1" minor="15" />
>      <object class="Project" expanded="1">
>          <property name="class_decoration"></property>
>          <property name="code_generation">C++</property>
> @@ -14,6 +14,8 @@
>          <property name="file">panel_eeschema_settings_base</property>
>          <property name="first_id">1000</property>
>          <property name="help_provider">none</property>
> +        <property name="image_path_wrapper_function_name"></property>
> +        <property name="indent_with_spaces"></property>
>          <property name="internationalize">1</property>
>          <property name="name">PanelEeschemaSettingsBase</property>
>          <property name="namespace"></property>
> @@ -24,6 +26,7 @@
>          <property name="skip_php_events">1</property>
>          <property name="skip_python_events">1</property>
>          <property name="ui_table">UI</property>
> +        <property name="use_array_enum">0</property>
>          <property name="use_enum">1</property>
>          <property name="use_microsoft_bom">0</property>
>          <object class="Panel" expanded="1">
> @@ -48,36 +51,6 @@
>              <property name="window_extra_style"></property>
>              <property name="window_name"></property>
>              <property name="window_style">wxTAB_TRAVERSAL</property>
> -            <event name="OnAuiFindManager"></event>
> -            <event name="OnAuiPaneButton"></event>
> -            <event name="OnAuiPaneClose"></event>
> -            <event name="OnAuiPaneMaximize"></event>
> -            <event name="OnAuiPaneRestore"></event>
> -            <event name="OnAuiRender"></event>
> -            <event name="OnChar"></event>
> -            <event name="OnEnterWindow"></event>
> -            <event name="OnEraseBackground"></event>
> -            <event name="OnInitDialog"></event>
> -            <event name="OnKeyDown"></event>
> -            <event name="OnKeyUp"></event>
> -            <event name="OnKillFocus"></event>
> -            <event name="OnLeaveWindow"></event>
> -            <event name="OnLeftDClick"></event>
> -            <event name="OnLeftDown"></event>
> -            <event name="OnLeftUp"></event>
> -            <event name="OnMiddleDClick"></event>
> -            <event name="OnMiddleDown"></event>
> -            <event name="OnMiddleUp"></event>
> -            <event name="OnMotion"></event>
> -            <event name="OnMouseEvents"></event>
> -            <event name="OnMouseWheel"></event>
> -            <event name="OnPaint"></event>
> -            <event name="OnRightDClick"></event>
> -            <event name="OnRightDown"></event>
> -            <event name="OnRightUp"></event>
> -            <event name="OnSetFocus"></event>
> -            <event name="OnSize"></event>
> -            <event name="OnUpdateUI"></event>
>              <object class="wxBoxSizer" expanded="1">
>                  <property name="minimum_size"></property>
>                  <property name="name">bPanelSizer</property>
> @@ -141,6 +114,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">&amp;Measurement units:</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -166,29 +140,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -253,30 +204,7 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
>                                          <event name="OnChoice">OnChooseUnits</event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -322,6 +250,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">Default schematic text size:</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -347,29 +276,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -434,33 +340,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnText"></event>
> -                                        <event name="OnTextEnter"></event>
> -                                        <event name="OnTextMaxLen"></event>
> -                                        <event name="OnTextURL"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -496,6 +375,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">mils</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -521,29 +401,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -579,6 +436,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">&amp;Horizontal pitch of repeated items:</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -604,29 +462,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -691,33 +526,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnText"></event>
> -                                        <event name="OnTextEnter"></event>
> -                                        <event name="OnTextMaxLen"></event>
> -                                        <event name="OnTextURL"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -753,6 +561,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">mils</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -778,29 +587,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -836,6 +622,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">&amp;Vertical pitch of repeated items:</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -861,29 +648,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -948,33 +712,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnText"></event>
> -                                        <event name="OnTextEnter"></event>
> -                                        <event name="OnTextMaxLen"></event>
> -                                        <event name="OnTextURL"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1010,6 +747,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">mils</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -1035,29 +773,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1093,6 +808,7 @@
>                                          <property name="hidden">0</property>
>                                          <property name="id">wxID_ANY</property>
>                                          <property name="label">&amp;Increment of repeated labels:</property>
> +                                        <property name="markup">0</property>
>                                          <property name="max_size"></property>
>                                          <property name="maximize_button">0</property>
>                                          <property name="maximum_size"></property>
> @@ -1118,29 +834,6 @@
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
>                                          <property name="wrap">-1</property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1203,32 +896,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnSpinCtrl"></event>
> -                                        <event name="OnSpinCtrlText"></event>
> -                                        <event name="OnTextEnter"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1255,7 +922,6 @@
>                                  <property name="orient">wxVERTICAL</property>
>                                  <property name="parent">1</property>
>                                  <property name="permission">none</property>
> -                                <event name="OnUpdateUI"></event>
>                                  <object class="sizeritem" expanded="0">
>                                      <property name="border">5</property>
>                                      <property name="flag">wxRIGHT|wxLEFT</property>
> @@ -1318,30 +984,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnCheckBox"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1406,30 +1048,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnCheckBox"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                              </object>
> @@ -1446,7 +1064,6 @@
>                                  <property name="orient">wxVERTICAL</property>
>                                  <property name="parent">1</property>
>                                  <property name="permission">none</property>
> -                                <event name="OnUpdateUI"></event>
>                                  <object class="sizeritem" expanded="1">
>                                      <property name="border">5</property>
>                                      <property name="flag">wxEXPAND|wxRIGHT|wxLEFT</property>
> @@ -1509,30 +1126,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnCheckBox"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1597,30 +1190,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnCheckBox"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                                  <object class="sizeritem" expanded="1">
> @@ -1685,30 +1254,6 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnCheckBox"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
>                                      </object>
>                                  </object>
>                              </object>
> @@ -1717,16 +1262,16 @@
>                              <property name="border">5</property>
>                              <property name="flag">wxTOP|wxBOTTOM|wxRIGHT</property>
>                              <property name="proportion">0</property>
> -                            <object class="wxBoxSizer" expanded="1">
> +                            <object class="wxBoxSizer" expanded="0">
>                                  <property name="minimum_size"></property>
>                                  <property name="name">bSizer9</property>
>                                  <property name="orient">wxVERTICAL</property>
>                                  <property name="permission">none</property>
> -                                <object class="sizeritem" expanded="1">
> +                                <object class="sizeritem" expanded="0">
>                                      <property name="border">5</property>
>                                      <property name="flag">wxBOTTOM|wxLEFT|wxRIGHT</property>
>                                      <property name="proportion">0</property>
> -                                    <object class="wxCheckBox" expanded="1">
> +                                    <object class="wxCheckBox" expanded="0">
>                                          <property name="BottomDockable">1</property>
>                                          <property name="LeftDockable">1</property>
>                                          <property name="RightDockable">1</property>
> @@ -1740,7 +1285,7 @@
>                                          <property name="caption"></property>
>                                          <property name="caption_visible">1</property>
>                                          <property name="center_pane">0</property>
> -                                        <property name="checked">0</property>
> +                                        <property name="checked">1</property>
>                                          <property name="close_button">1</property>
>                                          <property name="context_help"></property>
>                                          <property name="context_menu">1</property>
> @@ -1784,30 +1329,70 @@
>                                          <property name="window_extra_style"></property>
>                                          <property name="window_name"></property>
>                                          <property name="window_style"></property>
> -                                        <event name="OnChar"></event>
> -                                        <event name="OnCheckBox"></event>
> -                                        <event name="OnEnterWindow"></event>
> -                                        <event name="OnEraseBackground"></event>
> -                                        <event name="OnKeyDown"></event>
> -                                        <event name="OnKeyUp"></event>
> -                                        <event name="OnKillFocus"></event>
> -                                        <event name="OnLeaveWindow"></event>
> -                                        <event name="OnLeftDClick"></event>
> -                                        <event name="OnLeftDown"></event>
> -                                        <event name="OnLeftUp"></event>
> -                                        <event name="OnMiddleDClick"></event>
> -                                        <event name="OnMiddleDown"></event>
> -                                        <event name="OnMiddleUp"></event>
> -                                        <event name="OnMotion"></event>
> -                                        <event name="OnMouseEvents"></event>
> -                                        <event name="OnMouseWheel"></event>
> -                                        <event name="OnPaint"></event>
> -                                        <event name="OnRightDClick"></event>
> -                                        <event name="OnRightDown"></event>
> -                                        <event name="OnRightUp"></event>
> -                                        <event name="OnSetFocus"></event>
> -                                        <event name="OnSize"></event>
> -                                        <event name="OnUpdateUI"></event>
> +                                    </object>
> +                                </object>
> +                                <object class="sizeritem" expanded="1">
> +                                    <property name="border">5</property>
> +                                    <property name="flag">wxALL</property>
> +                                    <property name="proportion">0</property>
> +                                    <object class="wxCheckBox" expanded="1">
> +                                        <property name="BottomDockable">1</property>
> +                                        <property name="LeftDockable">1</property>
> +                                        <property name="RightDockable">1</property>
> +                                        <property name="TopDockable">1</property>
> +                                        <property name="aui_layer"></property>
> +                                        <property name="aui_name"></property>
> +                                        <property name="aui_position"></property>
> +                                        <property name="aui_row"></property>
> +                                        <property name="best_size"></property>
> +                                        <property name="bg"></property>
> +                                        <property name="caption"></property>
> +                                        <property name="caption_visible">1</property>
> +                                        <property name="center_pane">0</property>
> +                                        <property name="checked">1</property>
> +                                        <property name="close_button">1</property>
> +                                        <property name="context_help"></property>
> +                                        <property name="context_menu">1</property>
> +                                        <property name="default_pane">0</property>
> +                                        <property name="dock">Dock</property>
> +                                        <property name="dock_fixed">0</property>
> +                                        <property name="docking">Left</property>
> +                                        <property name="enabled">1</property>
> +                                        <property name="fg"></property>
> +                                        <property name="floatable">1</property>
> +                                        <property name="font"></property>
> +                                        <property name="gripper">0</property>
> +                                        <property name="hidden">0</property>
> +                                        <property name="id">wxID_ANY</property>
> +                                        <property name="label">Allow hierarchy navigator to stay open</property>
> +                                        <property name="max_size"></property>
> +                                        <property name="maximize_button">0</property>
> +                                        <property name="maximum_size"></property>
> +                                        <property name="min_size"></property>
> +                                        <property name="minimize_button">0</property>
> +                                        <property name="minimum_size"></property>
> +                                        <property name="moveable">1</property>
> +                                        <property name="name">m_navigatorStaysOpen</property>
> +                                        <property name="pane_border">1</property>
> +                                        <property name="pane_position"></property>
> +                                        <property name="pane_size"></property>
> +                                        <property name="permission">protected</property>
> +                                        <property name="pin_button">1</property>
> +                                        <property name="pos"></property>
> +                                        <property name="resize">Resizable</property>
> +                                        <property name="show">1</property>
> +                                        <property name="size"></property>
> +                                        <property name="style"></property>
> +                                        <property name="subclass">; forward_declare</property>
> +                                        <property name="toolbar_pane">0</property>
> +                                        <property name="tooltip"></property>
> +                                        <property name="validator_data_type"></property>
> +                                        <property name="validator_style">wxFILTER_NONE</property>
> +                                        <property name="validator_type">wxDefaultValidator</property>
> +                                        <property name="validator_variable"></property>
> +                                        <property name="window_extra_style"></property>
> +                                        <property name="window_name"></property>
> +                                        <property name="window_style"></property>
>                                      </object>
>                                  </object>
>                              </object>
> diff --git a/eeschema/dialogs/panel_eeschema_settings_base.h b/eeschema/dialogs/panel_eeschema_settings_base.h
> index 9a0fb8394..0750ea0ca 100644
> --- a/eeschema/dialogs/panel_eeschema_settings_base.h
> +++ b/eeschema/dialogs/panel_eeschema_settings_base.h
> @@ -1,5 +1,5 @@
>  ///////////////////////////////////////////////////////////////////////////
> -// C++ code generated with wxFormBuilder (version Dec 30 2017)
> +// C++ code generated with wxFormBuilder (version Oct 24 2019)
>  // http://www.wxformbuilder.org/
>  //
>  // PLEASE DO *NOT* EDIT THIS FILE!
> @@ -59,7 +59,8 @@ class PANEL_EESCHEMA_SETTINGS_BASE : public wxPanel
>                 wxCheckBox* m_checkAutoplaceJustify;
>                 wxCheckBox* m_checkAutoplaceAlign;
>                 wxCheckBox* m_footprintPreview;
> -
> +               wxCheckBox* m_navigatorStaysOpen;
> +
>                 // Virtual event handlers, overide them in your derived class
>                 virtual void OnChooseUnits( wxCommandEvent& event ) { event.Skip(); }
>
> diff --git a/eeschema/eeschema_config.cpp b/eeschema/eeschema_config.cpp
> index 527a40262..5648cf8bf 100644
> --- a/eeschema/eeschema_config.cpp
> +++ b/eeschema/eeschema_config.cpp
> @@ -241,7 +241,8 @@ const wxChar AutoplaceFieldsEntry[] =               wxT( "AutoplaceFields" );
>  const wxChar AutoplaceJustifyEntry[] =              wxT( "AutoplaceJustify" );
>  const wxChar AutoplaceAlignEntry[] =                wxT( "AutoplaceAlign" );
>  static const wxChar DragActionIsMoveEntry[] =       wxT( "DragActionIsMove" );
> -static const wxChar FootprintPreviewEntry[] =       wxT( "FootprintPreview" );
> +static const wxChar FootprintPreviewEntry[] =       wxT( "NavigatorStaysOpen" );
> +static const wxChar NavigatorStaysOpenEntry[] =       wxT( "FootprintPreview" );
>  static const wxChar DefaultBusWidthEntry[] =        wxT( "DefaultBusWidth" );
>  static const wxChar DefaultWireWidthEntry[] =       wxT( "DefaultWireWidth" );
>  static const wxChar DefaultDrawLineWidthEntry[] =   wxT( "DefaultDrawLineWidth" );
> @@ -335,7 +336,8 @@ void SCH_EDIT_FRAME::LoadSettings( wxConfigBase* aCfg )
>      aCfg->Read( AutoplaceJustifyEntry, &m_autoplaceJustify, true );
>      aCfg->Read( AutoplaceAlignEntry, &m_autoplaceAlign, false );
>      aCfg->Read( FootprintPreviewEntry, &m_footprintPreview, false );
> -
> +    aCfg->Read( NavigatorStaysOpenEntry, &m_navigatorStaysOpen, false );
> +
>      wxString templateFieldNames = aCfg->Read( FieldNamesEntry, wxEmptyString );
>
>      if( !templateFieldNames.IsEmpty() )
> @@ -379,7 +381,8 @@ void SCH_EDIT_FRAME::SaveSettings( wxConfigBase* aCfg )
>      aCfg->Write( AutoplaceJustifyEntry, m_autoplaceJustify );
>      aCfg->Write( AutoplaceAlignEntry, m_autoplaceAlign );
>      aCfg->Write( FootprintPreviewEntry, m_footprintPreview );
> -
> +    aCfg->Write( NavigatorStaysOpenEntry, m_navigatorStaysOpen );
> +
>      // Save template fieldnames
>      STRING_FORMATTER sf;
>      m_templateFieldNames.Format( &sf, 0 );
> diff --git a/eeschema/hierarch.cpp b/eeschema/hierarch.cpp
> index f3d25a825..86ef933cb 100644
> --- a/eeschema/hierarch.cpp
> +++ b/eeschema/hierarch.cpp
> @@ -133,8 +133,7 @@ int SCH_EDITOR_CONTROL::NavigateHierarchy( const TOOL_EVENT& aEvent )
>  {
>      HIERARCHY_NAVIG_DLG* treeframe = new HIERARCHY_NAVIG_DLG( m_frame );
>
> -    treeframe->ShowQuasiModal();
> -    treeframe->Destroy();
> +    treeframe->Show(true);
>
>      return 0;
>  }
> @@ -254,7 +253,8 @@ void HIERARCHY_NAVIG_DLG::onSelectSheetPath( wxTreeEvent& event )
>      wxTreeItemId ItemSel = m_Tree->GetSelection();
>      m_SchFrameEditor->SetCurrentSheet(( (TreeItemData*) m_Tree->GetItemData( ItemSel ) )->m_SheetPath );
>      m_SchFrameEditor->DisplayCurrentSheet();
> -    Close( true );
> +    if( m_SchFrameEditor->GetNavigatorStaysOpen() == false)
> +        Close( true );
>  }
>
>
> diff --git a/eeschema/sch_edit_frame.h b/eeschema/sch_edit_frame.h
> index c7982050c..af3c01694 100644
> --- a/eeschema/sch_edit_frame.h
> +++ b/eeschema/sch_edit_frame.h
> @@ -123,6 +123,7 @@ private:
>      bool                    m_autoplaceJustify;   ///< allow autoplace to change justification
>      bool                    m_autoplaceAlign;     ///< align autoplaced fields to the grid
>      bool                    m_footprintPreview;   ///< whether to show footprint previews
> +    bool                    m_navigatorStaysOpen; ///< whether to keep Navigator open
>      bool                    m_showIllegalSymbolLibDialog;
>
>      DIALOG_SCH_FIND*        m_findReplaceDialog;
> @@ -199,6 +200,9 @@ public:
>      bool GetShowFootprintPreviews() const { return m_footprintPreview; }
>      void SetShowFootprintPreviews( bool aEnable ) { m_footprintPreview = aEnable; }
>
> +    bool GetNavigatorStaysOpen() const { return m_navigatorStaysOpen; }
> +    void SetNavigatorStaysOpen( bool aEnable ) { m_navigatorStaysOpen = aEnable; }
> +
>      bool GetAutoplaceFields() const { return m_autoplaceFields; }
>      void SetAutoplaceFields( bool aEnable ) { m_autoplaceFields = aEnable; }
>
> --
> 2.17.1
>


Follow ups

References