Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Added a Scala auto-edit strategy for scaladoc. #204

Merged
merged 1 commit into from Oct 11, 2012

Conversation

Projects
None yet
3 participants
Owner

dragos commented Oct 5, 2012

This is motivated by the lags introduced by the Java auto-edit (see #1001263),
who was triggering reconciliation.

Fixed #1001263.

Added a Scala auto-edit strategy for scaladoc.
This is motivated by the lags introduced by the Java auto-edit (see #1001263),
who was triggering reconciliation.

Fixed #1001263.

@dotta dotta commented on the diff Oct 11, 2012

...ala/tools/eclipse/ui/ScaladocAutoIndentStrategy.scala
@@ -0,0 +1,72 @@
+package scala.tools.eclipse.ui
+
+import org.eclipse.jface.text.DefaultIndentLineAutoEditStrategy
+import org.eclipse.jface.text.DocumentCommand
+import org.eclipse.jface.text.IDocument
+import org.eclipse.jface.text.TextUtilities
+import scala.tools.eclipse.lexical.ScalaPartitions
+import org.eclipse.jdt.ui.text.IJavaPartitions
+import org.eclipse.jface.text.BadLocationException
+import scala.tools.eclipse.logging.HasLogger
+
+/** A Scaladoc auto-edit strategy that does the following:
+ *
+ * - adds '*' and left-aligns them when pressing enter
@dotta

dotta Oct 11, 2012

Owner

The alignement should depend on the user formatting preferences. You don't have to fix it now, maybe open a ticket if you agree ;)

@dragos

dragos Oct 11, 2012

Owner

That's true. I added a ticket: #1001273

Owner

dotta commented Oct 11, 2012

LGTM

dragos added a commit that referenced this pull request Oct 11, 2012

Merge pull request #204 from dragos/issue/scaladoc-auto-edits-1001263
Added a Scala auto-edit strategy for scaladoc. Refs #1001273.

@dragos dragos merged commit 58d1572 into scala-ide:master Oct 11, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment