Patch #1468 2006-09-09 15:22

jmaster

Expand caret period slider
Download
1468-Expand_caret_p.patch (691 bytes)
Category
Application::Bugfix
Status
Closed
Close date
2006-10-06 19:52
Assigned to
 
Index: src/sdk/resources/editor_configuration.xrc
===================================================================
--- src/sdk/resources/editor_configuration.xrc    (revision 2964)
+++ src/sdk/resources/editor_configuration.xrc    (arbetskopia)
@@ -575,7 +575,7 @@
                           </object>
                         </object>
                         <object class="sizeritem">
-                          <flag>wxALIGN_LEFT|wxALIGN_TOP</flag>
+                          <flag>wxALIGN_LEFT|wxALIGN_TOP|wxEXPAND</flag>
                           <object class="wxSlider" name="slCaretPeriod">
                             <value>500</value>
                             <max>500</max>

History

jmaster 2006-09-09 15:28

The slider where you can change the caret period in Settings->Editor->"Margins and caret" is not possible to move (at least in linux, wxGTK-2.6.3) because the slider is "too small". this patch expands the slider so it is possible to change the value

killerbot 2006-10-06 19:52

applied, thx

svn 3026