-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revampt the config and got rid of things like bold, blink etc etc.
- Loading branch information
1 parent
d4ea084
commit d80958d
Showing
9 changed files
with
89 additions
and
87 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,27 +1,29 @@ | ||
package object spells extends LocationAwareConfig { | ||
// private[spells] object coverage { | ||
// object `should-be-happy` extends LocationAwareProperty[Boolean] | ||
// } | ||
|
||
object terminal { | ||
object WidthInCharacters extends LocationAwareProperty[Int] | ||
} | ||
|
||
object XrayReport { | ||
object DisplayDateTime extends LocationAwareProperty[Boolean] | ||
object DisplayDuration extends LocationAwareProperty[Boolean] | ||
object DisplayLocation extends LocationAwareProperty[Boolean] | ||
object DisplayThread extends LocationAwareProperty[Boolean] | ||
object DisplayClass extends LocationAwareProperty[Boolean] | ||
object DisplayType extends LocationAwareProperty[Boolean] | ||
object xray { | ||
object report { | ||
object display { | ||
object DateTime extends LocationAwareProperty[Boolean] | ||
object Duration extends LocationAwareProperty[Boolean] | ||
object Location extends LocationAwareProperty[Boolean] | ||
object Thread extends LocationAwareProperty[Boolean] | ||
object Class extends LocationAwareProperty[Boolean] | ||
object Type extends LocationAwareProperty[Boolean] | ||
} | ||
|
||
object DescriptionStyle extends LocationAwareProperty[Ansi.Style] | ||
object DateTimeStyle extends LocationAwareProperty[Ansi.Style] | ||
object DurationStyle extends LocationAwareProperty[Ansi.Style] | ||
object LocationStyle extends LocationAwareProperty[Ansi.Style] | ||
object ThreadStyle extends LocationAwareProperty[Ansi.Style] | ||
object ClassStyle extends LocationAwareProperty[Ansi.Style] | ||
object TypeStyle extends LocationAwareProperty[Ansi.Style] | ||
object ValueStyle extends LocationAwareProperty[Ansi.Style] | ||
object styles { | ||
object Description extends LocationAwareProperty[Ansi.Style] | ||
object DateTime extends LocationAwareProperty[Ansi.Style] | ||
object Duration extends LocationAwareProperty[Ansi.Style] | ||
object Location extends LocationAwareProperty[Ansi.Style] | ||
object Thread extends LocationAwareProperty[Ansi.Style] | ||
object Class extends LocationAwareProperty[Ansi.Style] | ||
object Type extends LocationAwareProperty[Ansi.Style] | ||
object Value extends LocationAwareProperty[Ansi.Style] | ||
} | ||
} | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters