Fixed bug failing to generate new unique names for objects.

This commit is contained in:
Juan Pablo Caram
2014-10-30 11:59:58 -04:00
parent 77eff45d1d
commit 84bd8d14c6
6 changed files with 46 additions and 18 deletions

View File

@@ -116,9 +116,17 @@
{# SIDE NAV, TOGGLES ON MOBILE #}
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
<div class="wy-side-nav-search">
<div class="wy-side-nav-search" style="background-color: #3d3d3d;">
<!--<a href="{{ pathto(master_doc) }}" class="icon icon-home"> {{ project }}</a>-->
<a href="http://flatcam.org" class="icon icon-home"> {{ project }}</a>
<!--<a href="http://flatcam.org" class="icon icon-home"> {{ project }}</a>-->
<a href="http://flatcam.org">
<img src="http://flatcam.org/static/images/fcweblogo1_halloween.png"
style="height: auto;
width: auto;
border-radius: 0px;
background-color: #3d3d3d;
margin: auto">
</a>
{% include "searchbox.html" %}
</div>