Branch: refs/heads/master Author: Colomban Wendling ban@herbesfolles.org Committer: Colomban Wendling ban@herbesfolles.org Date: Sun, 22 Oct 2023 20:52:54 UTC Commit: 4b54306424918c2e4a3f3d3a553463065420cf7c https://github.com/geany/geany/commit/4b54306424918c2e4a3f3d3a553463065420cf...

Log Message: ----------- Move "Virtual Spaces" preference to "Editor -> Features"

"Editor -> Display" is very crowded already, and virtual spaces are not merely a display feature, but rather a tool for editing.

Close #3605.

Modified Paths: -------------- data/geany.glade

Modified: data/geany.glade 171 lines changed, 86 insertions(+), 85 deletions(-) =================================================================== @@ -3057,6 +3057,91 @@ <property name="position">0</property> </packing> </child> + <child> + <object class="GtkFrame" id="frame40"> + <property name="visible">True</property> + <property name="can-focus">False</property> + <property name="label-xalign">0</property> + <property name="shadow-type">none</property> + <child> + <object class="GtkAlignment" id="alignment47"> + <property name="visible">True</property> + <property name="can-focus">False</property> + <property name="left-padding">12</property> + <child> + <object class="GtkVBox" id="vbox48"> + <property name="visible">True</property> + <property name="can-focus">False</property> + <child> + <object class="GtkRadioButton" id="radio_virtualspace_disabled"> + <property name="label" translatable="yes">Disabled</property> + <property name="visible">True</property> + <property name="can-focus">True</property> + <property name="receives-default">False</property> + <property name="tooltip-text" translatable="yes">Do not show virtual spaces</property> + <property name="use-underline">True</property> + <property name="active">True</property> + <property name="draw-indicator">True</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">0</property> + </packing> + </child> + <child> + <object class="GtkRadioButton" id="radio_virtualspace_selection"> + <property name="label" translatable="yes">Only for rectangular selections</property> + <property name="visible">True</property> + <property name="can-focus">True</property> + <property name="receives-default">False</property> + <property name="tooltip-text" translatable="yes">Only show virtual spaces beyond the end of lines when drawing a rectangular selection</property> + <property name="use-underline">True</property> + <property name="draw-indicator">True</property> + <property name="group">radio_virtualspace_disabled</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">1</property> + </packing> + </child> + <child> + <object class="GtkRadioButton" id="radio_virtualspace_always"> + <property name="label" translatable="yes">Always</property> + <property name="visible">True</property> + <property name="can-focus">True</property> + <property name="receives-default">False</property> + <property name="tooltip-text" translatable="yes">Always show virtual spaces beyond the end of lines</property> + <property name="use-underline">True</property> + <property name="draw-indicator">True</property> + <property name="group">radio_virtualspace_disabled</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">2</property> + </packing> + </child> + </object> + </child> + </object> + </child> + <child type="label"> + <object class="GtkLabel" id="label238"> + <property name="visible">True</property> + <property name="can-focus">False</property> + <property name="label" translatable="yes">&lt;b&gt;Virtual spaces&lt;/b&gt;</property> + <property name="use-markup">True</property> + </object> + </child> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> </object> </child> <child type="tab"> @@ -4210,90 +4295,6 @@ <property name="position">1</property> </packing> </child> - <child> - <object class="GtkFrame" id="frame40"> - <property name="visible">True</property> - <property name="can-focus">False</property> - <property name="label-xalign">0</property> - <property name="shadow-type">none</property> - <child> - <object class="GtkAlignment" id="alignment47"> - <property name="visible">True</property> - <property name="can-focus">False</property> - <property name="left-padding">12</property> - <child> - <object class="GtkVBox" id="vbox48"> - <property name="visible">True</property> - <property name="can-focus">False</property> - <child> - <object class="GtkRadioButton" id="radio_virtualspace_disabled"> - <property name="label" translatable="yes">Disabled</property> - <property name="visible">True</property> - <property name="can-focus">True</property> - <property name="receives-default">False</property> - <property name="tooltip-text" translatable="yes">Do not show virtual spaces</property> - <property name="use-underline">True</property> - <property name="draw-indicator">True</property> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">0</property> - </packing> - </child> - <child> - <object class="GtkRadioButton" id="radio_virtualspace_selection"> - <property name="label" translatable="yes">Only for rectangular selections</property> - <property name="visible">True</property> - <property name="can-focus">True</property> - <property name="receives-default">False</property> - <property name="tooltip-text" translatable="yes">Only show virtual spaces beyond the end of lines when drawing a rectangular selection</property> - <property name="use-underline">True</property> - <property name="draw-indicator">True</property> - <property name="group">radio_virtualspace_disabled</property> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">1</property> - </packing> - </child> - <child> - <object class="GtkRadioButton" id="radio_virtualspace_always"> - <property name="label" translatable="yes">Always</property> - <property name="visible">True</property> - <property name="can-focus">True</property> - <property name="receives-default">False</property> - <property name="tooltip-text" translatable="yes">Always show virtual spaces beyond the end of lines</property> - <property name="use-underline">True</property> - <property name="draw-indicator">True</property> - <property name="group">radio_virtualspace_disabled</property> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">2</property> - </packing> - </child> - </object> - </child> - </object> - </child> - <child type="label"> - <object class="GtkLabel" id="label238"> - <property name="visible">True</property> - <property name="can-focus">False</property> - <property name="label" translatable="yes">&lt;b&gt;Virtual spaces&lt;/b&gt;</property> - <property name="use-markup">True</property> - </object> - </child> - </object> - <packing> - <property name="expand">False</property> - <property name="fill">True</property> - <property name="position">2</property> - </packing> - </child> <child> <object class="GtkFrame"> <property name="visible">True</property> @@ -4354,7 +4355,7 @@ <packing> <property name="expand">True</property> <property name="fill">True</property> - <property name="position">3</property> + <property name="position">2</property> </packing> </child> </object>

-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).