<div class="gmail_quote">On Tue, Mar 11, 2008 at 11:31 PM, Robby Findler &lt;<a href="mailto:robby@cs.uchicago.edu">robby@cs.uchicago.edu</a>&gt; wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="Ih2E3d">On Tue, Mar 11, 2008 at 10:26 PM, Ben Simon &lt;<a href="mailto:benjisimon@gmail.com">benjisimon@gmail.com</a>&gt; wrote:<br>&gt;<br>&gt; On Tue, Mar 11, 2008 at 11:21 PM, Ryan Culpepper &lt;<a href="mailto:ryanc@ccs.neu.edu">ryanc@ccs.neu.edu</a>&gt; wrote:<br>
&gt;<br>&gt; &gt;<br>&gt; &gt;<br>&gt; &gt; Ben Simon wrote:<br>&gt; &gt; &gt; Hey All,<br>&gt; &gt; &gt;<br>&gt; &gt; &gt; Any suggestions how I can create a read only editor? That is, an editor<br>&gt; that<br>&gt; &gt; &gt; my code can append/insert into, but that users can&#39;t?<br>
&gt; &gt; &gt;<br>&gt; &gt;<br>&gt; &gt; &gt; Thoughts? &nbsp;Or do I need to be creating a big &#39;ol multi line message%?<br>&gt; &gt;<br>&gt; &gt; When the editor is locked (see the &#39;lock&#39; method), all modifications<br>
&gt; &gt; silently fail. So users can type in the editor and nothing happens.<br>&gt;<br>&gt;<br>&gt; Interesting. Is it considered acceptable style leverage this fact and write<br>&gt; code that depends on this?<br><br></div>
Yes. Why wouldn&#39;t it be?<br><font color="#888888"></font></blockquote>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div>When I heard &quot;silently fail&quot; I wasn&#39;t sure if that would always be the case.&nbsp; What if the next version of the code base decides that it shouldn&#39;t silently fail.&nbsp; The <em>silently fail</em> part seemed like it could be&nbsp;anun-expected feature.</div>

<div>&nbsp;</div>
<div>Though, I was probably reading too much into this.</div>
<div>&nbsp;</div>
<div>-Ben</div></div><br clear="all"><br>-- <br>I&#39;m so done with my commute. See what I&#39;m up to now: <a href="http://www.ideas2executables.com">www.ideas2executables.com</a><br>The Blog: <a href="http://benjisimon.blogspot.com">benjisimon.blogspot.com</a><br>