deep indent - it shows up in "editing" but not buffer options.
How can I tell if it is enabled for a particular buffer? (verifying if my buffer local
properties work).
Shouldn't the same options from "extra word characters" to "Deep indent" show up the
same way in both the global options - editing as the buffer options pane?
Submitted | ezust - 2011-11-12 21:57:08 | Assigned | kpouer |
---|---|---|---|
Priority | 6 | Labels | |
Status | open | Group | None |
Resolution | None |
2012-01-20 17:44:59 ezust |
- **priority**: 5 --> 6 |
---|---|
2012-04-27 07:28:19 jarekczek |
Without analyzing the code: I don't think every option should be applicable to buffers
separately. For example separate camel case. It controls jedit behaviour and I can't
imagine a situation where I would like to set it per buffer. It needn't even necessary
be mode connected. It could be just a general option.
|
2013-03-01 19:35:44 ezust |
My main concern is that I want to be able to determine what the setting is currently
for these settings.
|