mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 07:49:44 +08:00
fix(editor): add line panel margin to editor
This commit is contained in:
@@ -26,6 +26,7 @@ import android.util.AttributeSet
|
||||
import android.view.inputmethod.EditorInfo
|
||||
import androidx.annotation.StringRes
|
||||
import com.blankj.utilcode.util.FileUtils
|
||||
import com.blankj.utilcode.util.SizeUtils
|
||||
import com.itsaky.androidide.editor.R.string
|
||||
import com.itsaky.androidide.editor.adapters.CompletionListAdapter
|
||||
import com.itsaky.androidide.editor.api.IEditor
|
||||
@@ -603,6 +604,9 @@ open class IDEEditor @JvmOverloads constructor(
|
||||
* Initialize the editor.
|
||||
*/
|
||||
protected open fun initEditor() {
|
||||
|
||||
lineNumberMarginLeft = SizeUtils.dp2px(2f).toFloat()
|
||||
|
||||
_actionsMenu = EditorActionsMenu(this).also {
|
||||
it.init()
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user