Index: tree/editor.html =================================================================== --- tree/editor.html (revision 3028) +++ tree/editor.html (revision 3029) @@ -20,7 +20,6 @@ save_last_command boolean 0 save the last command entered by user save_in_tmp boolean 0 always save data in /tmp draw_grid boolean 0 draw grid points - stipple_polygons boolean 0 draw polygons with stipple all_direction_lines boolean 0 enable lines to all directions rubber_band_mode boolean 0 move, rotate use rubberband connections swap_start_direction boolean 0 change starting direction after each click